FORMAL METHODS IN ARTIFICIAL INTELLIGENCE (CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCE)

THEORETICAL

by Allan M. Ramsay

Hardcover

ISBN: 978-0-521-35236-9

ISBN-10: 0-521-35236-3

Cambridge University Press

See also (possibly by other authors):
2009PaperbackFormal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science)