Formal methods in artificial intelligence

Ramsay, Allan
Call Number
001.535 R14F
Author
Ramsay, Allan
Title
Formal methods in artificial intelligence
Publication
Cambridge The University Press c1988
Physical Description
279p.
Series
Cambridge Tracts in Theoretical Computer Science; V.5
Subject
ARTIFICIAL INTELLIGENCE-METHODOLOGY
LOGIC, SYMBOLIC AND MATHEMATICAL
Total Ratings: 0
Location Call Number Barcode Item Class Units Copy Number Status  
IGM Library 001.535 R14F 128261 Books 1 Available
 
 
 
00642 amaa2200217zu 4500
001
 
 
vtls000002864
003
 
 
VRT
005
 
 
20030627191800.0
008
 
 
020601nuuuuuuuuvaua         s000   eng d
035
$a 102837
039
9
$a 200306271918 $b VLOAD $y 200206011023 $z VLOAD
040
$a VTLS
082
1
0
$a 001.535 $b R14F
100
1
$a Ramsay, Allan
245
1
$a Formal methods in artificial intelligence
260
$a Cambridge $b The University Press $c c1988
300
$a 279p.
440
$a Cambridge Tracts in Theoretical Computer Science; V.5
650
0
$a ARTIFICIAL INTELLIGENCE-METHODOLOGY
650
0
$a LOGIC, SYMBOLIC AND MATHEMATICAL
999
$a VIRTUA00
No Reviews to Display
Subject
ARTIFICIAL INTELLIGENCE-METHODOLOGY
LOGIC, SYMBOLIC AND MATHEMATICAL