321. After Godel : Platonism and rationalism in mathematics and logic
Author: Tieszen, Richard L.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
Classification :
QA
9
.
T53A34
322. After Gغodel :Platonism and rationalism in mathematics and logic
Author: Tieszen, Richard L.
Library: Library of Mofid University (Qom)
Subject: ، Gغodel, Kurt,، Logic, Symbolic and mathematical
Classification :
QA9
.
T54
2011
323. Agency and deontic logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Deontic logic. ; Agent (Philosophy) ;
324. Agency and deontic logic
Author: / John F. Horty
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Deontic logic.,Agent (Philosophy)
Classification :
BC
,
145
,.
H67
,
2001
325. Agent Systems-Computational Logic in Multi
Author: / o Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan WoltranعJo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
326. Agent Systems-Computational Logic in Multi
Author: / gotnes, Guido Boella, Leon Torreo Leite, Paolo Torroni, Thomas عJo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
327. Agent Systems-Computational Logic in Multi
Author: / o Leite, Guido Governatori, Wojtek Jamrogaعrgen Dix, JoJی
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
328. Agent Systems-Computational Logic in Multi
Author: / kعrgen Dix, Michael Fisher, Peter NovJی
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
329. Agent Systems-Computational Logic in Multi
Author: / Nils Bulling, Leendert Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
330. Agent Systems-Computational Logic in Multi
Author: / Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
331. Air logic control for automated systems
Author: Wojtecki, Rudy G.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Pneumatic control,، Logic circuits
Classification :
TJ
219
.
W64
1999
332. Air logic control for automated systems
Author: Wojtecki, Rudy
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Pneumatic control,، Logic circuits
Classification :
TJ
219
.
W64
1999
333. Air logic control for automated systems
Author: / Rudy Wojtecki
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Pneumatic control,Logic circuits
Classification :
629
.
8045
W847A
1999
334. Air logic control for automated systems
Author: / Rudy Wojtecki
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Pneumatic control,Logic circuits
Classification :
TJ219
.
W64
1999
335. Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
336. Alfred Tarski: life and logic
Author: Feferman, Anita Burdman.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Tarski, Alfred,، Logic, Symbolic and mathematical,United States -- Biography ، Logicians
Classification :
QA
29
.
T32
F44
2008
337. Alfred Tarski: life and logic
پدیدآورنده : Feferman, Anita Burdman
موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians-- United States
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
338. Alfred Tarski : life and logic
Author: Feferman, Anita Burdman, 7291-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians -- United States
Classification :
QA
29
.
T32F43
339. Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Author: edited by J. N. Crossley
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
Classification :
QA
3
.
L28
Vol
.
450
340. Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
Classification :
QA
3
.
L28
no
.
450
