Your search returned 8 results.

Results
	1.	CLAUSAL FORM LOGIC CLAUSAL FORM LOGIC : AN INTRODUCTION TO THE LOGIC OF COMPUTER REASONING Tom Richards by RICHARDS, TOM Series: International computer science series Material type: Text; Audience: Adult; Language: English Publication details: Sydney Addison-Wesley c1989 Availability: Items available for loan: Universidad Industrial de Santander (1)Call number: 006.3/R518c. Place hold Add to cart (remove)
	2.	HANDBOOK OF ALGORITHMS AND DATA STRUCTURES G. H. Gonnet by GONNET, GASTON H Series: International computer science series Material type: Text; Audience: Adult; Language: English Publication details: London, GB. Addison-Wesley c1984 Availability: Items available for loan: Universidad Industrial de Santander (1)Call number: 005.1/G639h. Place hold Add to cart (remove)
	3.	Introduction to expert systems by Jackson, Peter Series: International computer science series Material type: Text; Format: print Language: English Publication details: Wokingham Addison wesley 1986 Availability: Items available for loan: Universidad Autónoma de Bucaramanga UNAB (1)Call number: 006.3 J13. Place hold Add to cart (remove)
	4.	Foundations of computing system development with set theory and logic Thierry Scheurer by Scheurer, Thierry Series: International computer science series Material type: Text; Literary form: Not fiction ; Audience: General; Language: English Publication details: Workingham Addison wesley 1994 Availability: Items available for loan: Universidad Autónoma de Bucaramanga UNAB (1)Call number: 004.21 S328. Place hold Add to cart (remove)
	5.	Discrete mathematics for computer scientists J.K. Truss by Truss, J.K Series: International computer science series Material type: Text; Literary form: Not fiction ; Audience: General; Language: English Publication details: Wokinghamn Addison Wesley 1991 Availability: Items available for loan: Universidad Autónoma de Bucaramanga UNAB (1)Call number: 510/T873. Place hold Add to cart (remove)
	6.	Object oriented database systems concepts and architectures by Bertino, Elisa Martino, Lorenzo Series: International computer science series Material type: Text; Format: print Language: English Publication details: Wokingham Addison Wesley 1993 Availability: Items available for loan: Universidad Autónoma de Bucaramanga UNAB (1)Call number: 005.74 B544. Place hold Add to cart (remove)
	7.	Prolog programming for artificial intelligence by Bratko, Ivan Series: International computer science series Edition: 2nd. ed. Material type: Text; Format: print Language: Spanish Publication details: Wokingham Addison Wesley 1990 Availability: Items available for loan: Universidad Autónoma de Bucaramanga UNAB (1)Call number: 006.3 B824. Place hold Add to cart (remove)
	8.	Logic a foundation for computerscience V. Sperschneider & G. Antoniou by Sperschneider, V Antoniou, G. coaut Series: International computer science series Material type: Text; Literary form: Not fiction ; Audience: General; Language: English Publication details: Workingham Addison Weley 1991 Availability: Items available for loan: Universidad Autónoma de Bucaramanga UNAB (1)Call number: 004 S751. Place hold Add to cart (remove)

Powered by Koha