FORMAL METHODS IN ARTIFICIAL INTELLIGENCE (CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCE)
by
Allan M. Ramsay
Hardcover
details (
UK
).
ISBN: 978-0-521-35236-9
ISBN-10: 0-521-35236-3
Cambridge University Press
See also (possibly by other authors):
2009
Paperback
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science)