Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Author Ramsay, Allan, 1953-
Title Formal methods in artificial intelligence.
Publication Info Cambridge : Cambridge University Press, 1988.


LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  Q 335 R1  8 WEEK LOAN  AVAILABLE

Descript 279p.
ISBN 0521352363
Click on the terms below to find similar items in the catalogue
Author Ramsay, Allan, 1953-
Series Cambridge tracts in theoretical computer science; 6
Subject Machine intelligence.
Descript 279p.
ISBN 0521352363
Author Ramsay, Allan, 1953-
Series Cambridge tracts in theoretical computer science; 6
Subject Machine intelligence.
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  Q 335 R1  8 WEEK LOAN  AVAILABLE

Subject Machine intelligence.
Descript 279p.
ISBN 0521352363

Links and services for this item: