501. Structural Complexity I
پدیدآورنده : by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic, Symbolic and mathematical.
502. Structural Complexity II
پدیدآورنده : by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA267
.
B956
1990
503. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
پدیدآورنده : Jan Mycielsik, Grzegorz Rozenberg, Arto Salomaa, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Ehrenfeucht, Andrzej,، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1261
504. Substructural logics
پدیدآورنده : edited by Peter Schroeder-Heister and Kosta Dosen
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
S85
1993
505. Subsystems of Second Order Arithmetic
پدیدآورنده : by Stephen G. Simpson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
506. Symbolic Logic and mechanical theorem proving
پدیدآورنده : Chang, Chin-Liang, 7391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C53
1987
507. Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993: proceedings
پدیدآورنده : Michael Clarke, Rudolf Kruse, Serafin Moral )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
747
508. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Uncertainty )Information theory(-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
375
.
E88
1993
509. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU'93, Granada, Spain, November 8-10, 1993 : proceedings
پدیدآورنده : Michael Clarke, Rudolf Kruse, Serafin Moral )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
747
510. Symbolic logic and mechanical theorem proving
پدیدآورنده : Chin-Liang Chang, Richard Char-Tung Lee,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence
رده :
QA
.
C483
9
1987
511. Symbolic logic and mechanical theorem proving
پدیدآورنده : Chang, Chin-Liang,7391-, Chin-Liang Chang, Richard Char-Tung Lee
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C483
512. Temporal logic and state systems
پدیدآورنده : Kroger, Fred, 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده :
BC
199
.
T4K76
513. Temporal logic and state systems
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده :
BC
199
.
T4
.
K76
2008
514. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
827
515. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
516. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings
پدیدآورنده : B. Banieqbal, H. Barringer, A. Pnueli )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، System design,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
398
517. Temporal logic in specification: Altrincham, UK, April 8-10, 1987: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، System design,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
.
T42
1989
518. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
519. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
520. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
