|
|
861.
|
PHILOSOPHY OF LOGIC
by Cleave, J. P | Korner, Stephan | . Description: 273.Publisher: Oxford Basil Blackwell c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 C776] (1).
|
|
|
862.
|
Logic and data bases
by Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse 1977. | Gallaire, Hervé | Minker, Jack. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: viii, 458 p.Publisher: New York : Plenum Press, c1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Sy68L] (1).
|
|
|
863.
|
ART AND LOGIC IN HEGEL'S PHILOSOPHY
by Steinkraus, Warren E | Schmitz, Kenneth I | . Description: 274.Publisher: New Jersey Humanities Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 193 H361a] (1).
|
|
|
864.
|
LOGIC COLLOQUIUM `78
by Boffa, Maurice | Dalen, Dirk Van | . Description: x,434.Publisher: Amsterdam North-Holland 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829l] (1).
|
|
|
865.
|
PATRAS LOGIC SYMPOSION
by Metakides, George. Description: ix,391.Publisher: Amsterdam North-Holland 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829p] (1).
|
|
|
866.
|
MATHEMATICAL LOGIC IN COMPUTER SCIENCE
by Domolki, B | Gergely, T | . Description: 758.Publisher: Amsterdam North-Holland 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.302854 C698m] (1).
|
|
|
867.
|
MULTIPLE-VALUED LOGIC Description: v,272.Publisher: Institute Of Electrical And Electronics Engineers 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3819572 In8m] (1).
|
|
|
868.
|
Informal logic
: possible worlds and imagination
by Nolt, John Eric. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 429p.Publisher: New York McGraw-Hill 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: ] (1).
|
|
|
869.
|
PROCEEDINGS... Description: x,356.Publisher: Washington, D. C. Computer Society Press Of The Ieee 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3819572 In8m] (1).
|
|
|
870.
|
Natural language understanding and logic programming
: proceedings ...
by International Workshop on Natural Language Understanding and Logic Programming Rennes, France 1984 | Dahl,Veronica [ed.] | Saint - Dizier, Patrick [ed.]. Description: xi, 243p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8n] (1).
|
|
|
871.
|
LOGIC IN COMPUTER SCIENCE Description: xi,361.Publisher: Washington, D. C. Computer Society Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sy68l] (1).
|
|
|
872.
|
Logic programming
: proceedings...
by 4th International conference on logic programming Melbourne, Australia 1987 | Lassez, Jean-Louis [ed.]. Description: xiv, 1056p.Publisher: Cambridge Mit Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8l v.1] (2).
|
|
|
873.
|
LOGIC PROGRAMMING
by Lassez, Jean-Louis | . Description: v.Publisher: Cambridge Mit Pr. c1987Availability: No items available
|
|
|
874.
|
ICCAD-89 Description: xxv,580.Publisher: Ieee Computer Society Press,Washington,D.C. 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.00420285 IN8] (1).
|
|
|
875.
|
THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE
by Vardi, Moshe Y. Description: viii,401.Publisher: Los Altos, Morgan Kaufmann c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 C76t] (1).
|
|
|
876.
|
MULTIPLE-VALUED LOGIC Description: xii,368.Publisher: Ieee Computer Society Press,Los Alamitos 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 IN8I] (1).
|
|
|
877.
|
INTRODUCTION TO LOGIC DESIGN
by Yanushkevich, Svetlana N | Shmerko, Vlad P | . Description: xxii.Publisher: Boca Raton Crc Press,Boca Raton 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 Y17i] (1).
|
|
|
878.
|
Foundations of logical consequence
by | Caret, Colin R. [ed.]. Description: viii, 357p.Publisher: Oxford Oxford University Press 2015Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 190 F825] (1).
|
|
|
879.
|
DECISION TABLES
by . Description: ,92.Publisher: London Her Majesty'S Stationary 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.4032 J613d] (1).
|
|
|
880.
|
Logic Colloquium '84
: proceedings...
by Paris, J.B [ed.] | Wilkie, A.J [ed.]. Description: x,377p.Publisher: Amsterdam North-Holland 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829] (1).
|
