LEADER 00000nam 2200229 a 4500 001 0842943 003 UkHlHU 007 t 008 000812 8 1988 000 eng 020 0521352363 040 UkHlHU 050 4 Q 335 R1 100 0 Ramsay, Allan,|d1953- 245 00 Formal methods in artificial intelligence. 260 Cambridge :|bCambridge University Press,|c1988. 300 279p. 440 0 Cambridge tracts in theoretical computer science; 6 650 0 Machine intelligence.
|