Formal methods in artificial intelligence /

Saved in:
Bibliographic Details
Main Author: Ramsay, Allan, 1953-
Format: Book
Language:English
Published: Cambridge, Eng. : Cambridge University Press, 1988.
Series:Cambridge tracts in theoretical computer science ; 6
Subjects:
Artificial intelligence > Methodology.
Logic, Symbolic and mathematical.
Reasoning.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000cam a2200000 4500
001 00234877
003 PWmBRO
005 20240602103802.0
008 941018s1991 enk b 00110 eng
020 |a 0521424216 (pbk) 
100 1 |a Ramsay, Allan,  |d 1953- 
245 1 0 |a Formal methods in artificial intelligence /  |c Allan Ramsay. 
260 0 |a Cambridge, Eng. :  |b Cambridge University Press,  |c 1988. 
300 |a ix, 279 p. :  |b ill. 
440 0 |a Cambridge tracts in theoretical computer science ;  |v 6 
650 0 |a Artificial intelligence  |x Methodology. 
650 0 |a Logic, Symbolic and mathematical. 
650 0 |a Reasoning. 
942 |2 ddc 
952 |0 0  |1 127  |4 0  |6 006_300000000000000_R178  |7 0  |8 MN  |9 105861  |a ML015  |b ML015  |c MN  |d 2024-06-02  |l 0  |o 006.3 R178  |p 104181  |r 2019-03-04 00:00:00  |w 2019-03-04  |y BK 
999 |c 80852  |d 80852 

Similar Items