Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions

by Snyers, Dominique | Thayse, Andre.

Series: Lecture notes in computer science ; 00271Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS.

Place hold Log in to add tags
E-BOOKS
From Logic Design to Logic Programming [electronic resource] : Theorem Proving Techniques and P-Functions / by Dominique Snyers, André Thayse.

by Snyers, Dominique [author.] | Thayse, André [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 271Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Artificial Evolution [electronic resource] : European Conference, AE 95 Brest, France, September 4–6, 1995 Selected Papers / edited by Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers.

by Alliot, Jean-Marc [editor.] | Lutton, Evelyne [editor.] | Ronald, Edmund [editor.] | Schoenauer, Marc [editor.] | Snyers, Dominique [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1063Source: 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
E-BOOKS
Artificial Evolution [electronic resource] : Third European Conference AE '97 Nîmes, France, October 22–24, 1997 Selected Papers / edited by Jin-Kao Hao, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers.

by Hao, Jin-Kao [editor.] | Lutton, Evelyne [editor.] | Ronald, Edmund [editor.] | Schoenauer, Marc [editor.] | Snyers, Dominique [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1363Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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