781. Proceedings of the third Scandinavian Logic Symposium
المؤلف: / edited by Stig Kanger
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--Congresses,Mathematical logic.
رده :
BC6
,.
S3
,
1973
782. Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
.
I57
1990
783. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
المؤلف: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
784. Proceedings, the Nineteen International Symposium on Multiple-Valued Logic
المؤلف: International Symposium on Multiple-Valued Logic )91th: 9891: Guangzhou, China(
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Many-Valued Logic - Congresses,، Switching theory - Congresses,، Logic circuits - Congresses
رده :
TK
7868
.
L6I57
1989
785. Proceedings: the twenty-Fourth International Symspoium on Multiple - Valued Logic, May 25-27, 1994, Boston, Massachusetts
المؤلف: sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Multiple - Valued Logic, University of Massachusetts at Boston
المکتبة: (طهران)
موضوع: Many-valued logic - Congresses
رده :
QA
9
.
45
.
I57
1994
786. Proceedings, the twenty-third International Symspoium on Multiple - Valued Logic, May 24-27, 1993, Sacramento, California
المؤلف: sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Multiple - Valued Logic, Center for Image Processing and Integrated Computing at University of California, Davis
المکتبة: (طهران)
موضوع: Many-valued logic - Congresses
رده :
QA
9
.
45
.
I57
1993
787. Program development in computational logic : a decade of research advances in logic-based program development
المؤلف: Maurice Bruynooghe, Kung-Kiu Lau )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Computer programming,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3049
788. Programming language implementation and logic programming :
المؤلف: P. Deransart, J. Małuszyński, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
7
.
I59
1990
789. Programming language implementation and logic programming : International Workshop PLILP'90, Linkنping, Sweden, August 20-22, 1990 : proceedings
المؤلف: P. Deransart, J. Maluszynski, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
456
790. Programming language implementation and logic programming : proceedings
المؤلف: International Workshop PLILP '09 )0991: Linkoping, Sweden(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I59
1990
791. Programming language implementation and logic programming : 3rd International Symposium, PLILP'91, Passau,Germany, August 26-28, 1991 :proceedings
المؤلف: J. Maluszynski, M. Wirsing, eds
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
528
792. Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1991
793. Programming language implementation and logic programming : 4th International Symposium, Leuven, Belgium, 1992 : proceedings
المؤلف: M. Bruynooghe, M. Wirsing )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
631
794. Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings
المؤلف: International Symposium, PLILP '29 )4th: 2991: Leuven, Belgium(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1992
795. Programming language implementation and logic programming : 6th International Symposium, PLILP'94, Madrid, Spain, September 14 - 16, 1994 : proceedings
المؤلف: Manuel Hermenegildo, Jaan Penjam )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
844
796. Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings
المؤلف: International Symposium, PLILP '39 )5th: 3991: Tallinn, Estonia(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1993
797. Programming language implementation and logic programming : 5th International Symposium, PLILP'93, Tallinn, Estonia, August 1993 : proceedings
المؤلف: Maurice Bruynooghe, Jaan Penjam, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
714
798. Programming languages implementation and logic programming
المؤلف: International Workshop PLILP '88 )8891: Orleans, France(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I59
1988
799. Programming languages implementation and logic programming : International Workshop PLILP'88, Orleans, France, May 16-18, 1988, Proceedings
المؤلف: P. Deransart, B. Lorho, J. Maluszynski )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
348
800. Programming languages : implementations, logics and programs: 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996 : proceedings
المؤلف: Herbert Kuchen, S. Doaitse Swierstra )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1140
