1001. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995
1002. The logic of partial information
Author: Areski Nait Abdallah
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N3
1003. The logic of programming
Author: / Eric C.R. Hehner
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer programming,Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H42
1984
1004. The logic of programming
Author: / Eric C. R. Hehner
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Programming(Electronic computer),Logic,Symbolic and mathematical
Classification :
QA
76
.
76
.
H427
1984
1005. The mathematics of inheritance systems /
Author: David S. Touretzky
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence,Computer architecture,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
A73
T67
1986
1006. The mechanism and freedom of logic
Author: Granville C. Henry
Library: State Department Library (Tehran)
Subject: Logic,Prolog (Computer program language)
1007. The temporal logic of reactive and concurrent systems
Author: Manna, Zohar
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3564
1991
1008. The transparent paolog machine
Author: / Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine,Eisenstadt
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Prolog ( Computer Program language),Logic programming ( Computer Science),Transparent prolog machine
Classification :
QA
76
.
73
.
P76E48
1991
1009. Theorem Proving in Higher Order Logics :
Author: edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
1010. Theoretical Aspects of Computing – ICTAC 2015
Author: \ edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses.,Computer logic.,علوم کامپیوتر -- کنگرهها ,منطق کامپیوتری
Classification :
QA76
.
T46
2015
E-Book
,
1011. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
1012. Theory and Applications of Formal Argumentation.
Author: \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگرهها
Classification :
QA
76
.
9
.
T46
2015
E-Book
,
1013. Theory and Applications of Formal Argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
Author: edited by Elizabeth Black, Sanjay Modgil, Nir Oren
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Artificial intelligence,، Computer logic,، Computer science
Classification :
QA
76
.
9
.
T34
2018
1014. Theory and Practice of Model Transformations :
Author: edited by Keith Duddy, Gerti Kappel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
D47
E358
2013
1015. Theory and Practice of Model Transformations
Author: edited by Zhenjiang Hu, Juan Lara
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
1016. Theory of fuzzy computation
Author: Apostolos Syropoulos
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Fuzzy logic,Fuzzy Logic
Classification :
QA9
.
64
1017. Theory of fuzzy computation
Author: / Apostolos Syropoulos
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Fuzzy logic,Computer science, Mathematics
Classification :
E-BOOK
1018. Theory of fuzzy computation
Author: Syropoulos, Apostolos, Apostolos Syropoulos
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Fuzzy logic,Mathematics ، Computer science,، Computer science -- Mathematics,، Fuzzy logic,، Number theory
Classification :
QA9
.
64
1019. Theory of reversible computing
Author: Morita, Kenichi
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Reversible computing -- Congresses,، Computer logic -- Congresses
Classification :
QA
76
.
9
.
R48R3
2017
1020. Thinking programs :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic. ;
