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
Boolean Calculus of Differences [electronic resource] / edited by André Thayse.

by Thayse, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 101Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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
P-Functions and Boolean Matrix Factorization [electronic resource] : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms / by André Thayse.

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

Series: Lecture Notes in Computer Science ; 175Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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
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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha