Formal methods in artificial intelligence

Author

• Ramsay, Allan

Additional Author(s)

-

Publisher

Cambridge: Cambridge University Press, 1988

Language

English

ISBN

-

Series

Cambridge tracts in theoretical computer science, 6

Subject(s)

• ARTIFICIAL INTELLIGENCE-METHODOLOGY
• LOGIC, SYMBOLIC AND MATHEMATICAL
• REASONING

Notes

-

Abstract

Bibliography: p. 273-275

Physical Dimension

Number of Page(s)

ix, 279 p.

Dimension

25 cm

Other Desc.

ill.

Summary / Review / Table of Content

No summary / review / table of content available!

Exemplar(s)

#	Accession No.	Call Number	Location	Status
1.	03127/93	006.3 Ram F	-	Available