Your search returned 3 results.

Results
		No cover image available Completeness, confluence and related properties of clause graph resolution by Eisinger, Norbert \| . Series: Edition: Language: English Publication details: ; London : Pitman, 1991 ; 1991Availability: Items available for loan: 1 Call number: 681.342:518.4 Eis. Place hold Add to cart (remove)
		Reasoning web : 1st international summer school, Msida, Malta, July 25-29, 2005 : tutorial lectures by \| Eisinger, Norbert \| Eisinger, Norbert. Series: Lecture notes in computer science ; v.3564Edition: Language: English Publication details: Berlin ; Springer ; 2005Availability: Items available for loan: 1 Call number: 681.342:415.4Rea:1:05. Place hold Add to cart (remove)
		Reasoning web (e-book) by Eisinger, Norbert. Series: Lecture Notes in Computer Science (LNCS) ; v.3564Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2005Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search