|
1.
|
The essence of logic
by Kelly, John J. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Prentice Hall, ©1996Availability: Items available for loan: IIITD [511.3 KEL-E] (3). Items available for reference: IIITD [REF 511.3 KEL-E] (1).
|
|
2.
|
Computability & unsolvability
by Davis, Martin. Edition: Dover ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Dover Publications, ©1982Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [511.3 DAV-C] (1).
|
|
3.
|
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
by Davis, Martin. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Dover Publications, ©1965Availability: Items available for loan: IIITD [REF 512.8 DAV-U] (1).
|
|
4.
|
Logic for computer scientists
by Schoning, Uwe 1955-. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston : Birkhauser, 1989Availability: Items available for loan: IIITD [REF 511.3 SCH-L] (1).
|
|
5.
|
Database Theory — ICDT '97 [electronic resource] :6th International Conference Delphi, Greece, January 8–10, 1997 Proceedings /
by Afrati, Foto [editor.] | Kolaitis, Phokion [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
6.
|
Fuzzy Logic in Artificial Intelligence Towards Intelligent Systems [electronic resource] :IJCAI '95 Workshop Montréal, Canada, August 19–21, 1995 Selected Papers /
by Martin, Trevor P [editor.] | Ralescu, Anca L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
7.
|
Nonmonotonic Logics [electronic resource] :Basic Concepts, Results, and Techniques /
by Schlechta, Karl [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
8.
|
Algorithms and Complexity [electronic resource] :Third Italian Conference, CIAC '97 Rome, Italy, March 12–14, 1997 Proceedings /
by Bongiovanni, Giancarlo [editor.] | Bovet, Daniel Pierre [editor.] | Battista, Giuseppe Di [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
9.
|
Computational Learning Theory [electronic resource] :Third European Conference, EuroCOLT '97 Jerusalem, Israel, March 17–19, 1997 Proceedings /
by Ben-David, Shai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
10.
|
Typed Lambda Calculi and Applications [electronic resource] :Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings /
by Groote, Philippe de [editor.] | Roger Hindley, J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
11.
|
Logic Program Synthesis and Transformation [electronic resource] :6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings /
by Gallagher, John [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
12.
|
Non-Monotonic Extensions of Logic Programming [electronic resource] :Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers /
by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
13.
|
New Trends in Formal Languages [electronic resource] :Control, Cooperation, and Combinatorics /
by Păun, Gheorghe [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
14.
|
Computational Intelligence Theory and Applications [electronic resource] :International Conference, 5th Fuzzy Days Dortmund, Germany, April 28–30, 1997 Proceedings /
by Reusch, Bernd [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
15.
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /
by Galmiche, Didier [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
16.
|
Foundations of Inductive Logic Programming [electronic resource] /
by Nienhuys-Cheng, Shan-Hwei [author.] | Wolf, Roland de [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
17.
|
Rewriting Techniques and Applications [electronic resource] :8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings /
by Comon, Hubert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
18.
|
Logical Foundations of Computer Science [electronic resource] :4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings /
by Adian, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
19.
|
Qualitative and Quantitative Practical Reasoning [electronic resource] :First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings /
by Gabbay, Dov M [editor.] | Kruse, Rudolf [editor.] | Nonnengart, Andreas [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
20.
|
Automated Deduction—CADE-14 [electronic resource] :14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings /
by McCune, William [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|