Your search returned 728 results.

Results
		Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: III, 331 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA9.CHA FCT 21234 (1). Place hold
		Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA9.CHA FCT 21235 (1). Place hold
		Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA9.CHA FCT 21236 (1). Place hold
		Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA9.CHA FCT 21237 (1). Place hold
		Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA9.CHA FCT 21238 (1). Place hold
		Artificial intelligence through PROLOG / Neil C. RowePublication: Englewood Cliffs, US : Prentice-Hall International, cop. 1988Description: XX, 451 p. : il. ; 24 cmAvailability: Items available for loan: Call number: Q335.ROW FCT 21470 (1). Place hold
		Artificial intelligence through PROLOG / Neil C. RowePublication: Englewood Cliffs, US : Prentice-Hall International, cop. 1988Description: XX, 451 p. : il. ; 24 cmAvailability: Items available for loan: Call number: Q335.ROW FCT 21471 (1). Place hold
		Artificial intelligence through PROLOG / Neil C. RowePublication: Englewood Cliffs, US : Prentice-Hall International, cop. 1988Description: XX, 451 p. : il. ; 24 cmAvailability: Items available for loan: Call number: Q335.ROW FCT 21472 (1). Place hold
		Artificial intelligence through PROLOG / Neil C. RowePublication: Englewood Cliffs, US : Prentice-Hall International, cop. 1988Description: XX, 451 p. : il. ; 24 cmAvailability: Items available for loan: Call number: Q335.ROW FCT 21473 (1). Place hold
		Artificial intelligence through PROLOG / Neil C. RowePublication: Englewood Cliffs, US : Prentice-Hall International, cop. 1988Description: XX, 451 p. : il. ; 24 cmAvailability: Items available for loan: Call number: Q335.ROW FCT 21474 (1). Place hold
		Artificial intelligence / Elaine Rich, Kevin KnightPublication: New York : McGraw-Hill Book Company, cop. 1991Description: XVII, 621 p. : il. ; 23 cmAvailability: Items available for loan: Call number: Q335.RIC FCT 21500 (1). Place hold
		Artificial intelligence / Elaine Rich, Kevin KnightPublication: New York : McGraw-Hill Book Company, cop. 1991Description: XVII, 621 p. : il. ; 23 cmAvailability: Items available for loan: Call number: Q335.RIC FCT 21501 (1). Place hold
		Artificial intelligence / Elaine Rich, Kevin KnightPublication: New York : McGraw-Hill Book Company, cop. 1991Description: XVII, 621 p. : il. ; 23 cmAvailability: Items available for loan: Call number: Q335.RIC FCT 21502 (1). Place hold
		Artificial intelligence / Elaine Rich, Kevin KnightPublication: New York : McGraw-Hill Book Company, cop. 1991Description: XVII, 621 p. : il. ; 23 cmAvailability: Items available for loan: Call number: Q335.RIC FCT 21503 (1). Place hold
		Principles of artificial intelligence and expert systems development / David W. RolstonPublication: New York : McGraw-Hill Book Company, cop. 1988Description: 257 p. : il. ; 22 cmAvailability: Items available for loan: Call number: QA76.76.ROL FCT 21623 (1). Place hold
		No cover image available The modularity of mind / Jerry A. FodorPublication: London : The MIT Press, 1984Description: 145 p. : il. ; 21 cmAvailability: Items available for loan: Call number: BF311.FOD FCT 12481 (1). Place hold
		À imagem do homem : do golem às criaturas virtuais / Phillipe Breton ; Joana Chaves, trad. Publication: Lisboa : Instituto Piaget, 1995Description: 204 p. ; 24 cmAvailability: Items available for loan: Call number: TJ211.BRE FCT 38838 (1). Place hold
		Coordinator of distributed problem solvers / Edmund H. DurfeePublication: Boston : Kluwer Academic Publishers, cop. 1988Description: VIII, 269 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA76.9.DUR FCT 20441 (1). Place hold

1
2
3
4
5
6
7
8
9
10
Next
Last