Your search returned 2 results.

Results
		No cover image available From logic design to logic programming : theorem proving techniques and P-functions by Snyers, Dominique \| Thayse, Andre \| . Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1987Availability: Items available for loan: 1 Call number: 519.28:681.3.06 Sny. Place hold Add to cart (remove)
		From logic design to logic programming (e-book) by Snyers, Dominique. Series: Lecture Notes in Computer Science (LNCS) ; v.271Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1987Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search