21. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
22. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
23. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
24. Cafe
پدیدآورنده : / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
25. Compuer science logic: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996: selected papers
پدیدآورنده : Dirk van Dalen, Marc Bezem )eds.(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer logic - Congresses
رده :
QA
76
.
9
.
L63
W67
1996
26. Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings
پدیدآورنده : John Lloyd...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1861
27. Computational logic in multi-agent systems
پدیدآورنده : Jürgen Dix ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Intelligent agents (Computer software), Congresses.
28. Computational logic in multi-agent systems :
پدیدآورنده : João Leite [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses,Multiagent systems, Congresses
رده :
QA76
.
9
.
L63
C55
2011
29. Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers
پدیدآورنده : Juergen Dix, Joao Leite )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3259
30. Computational logic in multi-agent systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers
پدیدآورنده : Joao Leite, Paolo Torroni )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3487
31. Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers
پدیدآورنده : Francesca Toni, Paolo Torroni )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic,Congresses ، Intelligent agents )Computer software(,Congresses ، Distributed artificial intelligence
رده :
QA
76
.
L28
Vol
.
3900
32. Computational logic in multi-agent systems: 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004: revised selected and invited papers
پدیدآورنده : Joao Leite, Paolo Torroni )eds.(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Computer logic,Congresses ، Intelligent agents )Computer software(,Congresses ، Distributed artificial intelligence
رده :
QA
76
.
9
.
L63
C656
2004b
33. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
34. Computer Science Logic
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer logic -- Congresses,منطق کامپیوتری -- کنگرهها
رده :
E-Book
,
35. Computer science Logic : 7th Workshop, CSL'93, Swansea, United Kingdom, September 13 - 17, 1993. Selected papers
پدیدآورنده : Egon Borger, Yuri Gurevich, Karl Meinke, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
832
36. Computer science logic
پدیدآورنده : / Anuj Dawar, Helmut Veith (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer logic, Congresses
رده :
QA76
.
9
.
L63
2010
37. Computer science logic
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer science- Congresses,Logic, Symbolic and mathematical- Congresses
38. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
39. Computer science logic : 12th International Workshop, CSL'98 : Annual Conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
پدیدآورنده : Georg Gottlob, Etienne Grandjean, Katrin Seyr )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1584
40. Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
پدیدآورنده : Peter Clote, Helmut Schwitchtenberg )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1862
