Formal specification of complex reasoning systems

based on material from the International Workshop onFormal Specification Methods for Complex Reasoning Systems, Vienna, 1992, organized during ECAI'92 by the Artificial Intelligence Group, Vrije Universiteit Amsterdam

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

Last edited by MARC Bot
July 24, 2024 | History

Formal specification of complex reasoning systems

based on material from the International Workshop onFormal Specification Methods for Complex Reasoning Systems, Vienna, 1992, organized during ECAI'92 by the Artificial Intelligence Group, Vrije Universiteit Amsterdam

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
EllisHorwood
Language
English
Pages
282

Buy this book

Previews available in: English

Book Details


Edition Notes

Published in
New York, London
Series
Ellis Horwood workshop series

Classifications

Dewey Decimal Class
006.33
Library of Congress
QA76.76.E95 F666 1993

The Physical Object

Pagination
viii,282p.
Number of pages
282

ID Numbers

Open Library
OL21134400M
Internet Archive
formalspecificat0000unse
ISBN 10
0133367851
LCCN
93011634
OCLC/WorldCat
28424556
Goodreads
1181657

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 24, 2024 Edited by MARC Bot import existing book
July 30, 2019 Edited by MARC Bot associate edition with work OL19041878W
March 13, 2019 Edited by MARC Bot import existing book
February 19, 2019 Created by MARC Bot import existing book