Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of the International Conference, St.Andrews, Scotland, UK, 2000

by Dyckhoff, Roy. Ed.

Series: Lecture notes in artificial intelligence ; 01847Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 24 Call number: 681 LNCS.

Place hold Log in to add tags
E-BOOKS
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / edited by Roy Dyckhoff.

by Dyckhoff, Roy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1847Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Extensions of Logic Programming [electronic resource] : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings / edited by Roy Dyckhoff.

by Dyckhoff, Roy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in ; 798Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Extensions of Logic Programming [electronic resource] : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings / edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister.

by Dyckhoff, Roy [editor.] | Herre, Heinrich [editor.] | Schroeder-Heister, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1050Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha