Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Logic, Symbolic and mathematical
Computer science
Artificial intelligence.
Computers
Algorithms
Artificial Intelligence
Logique symbolique et mathématique
Informatique
Ordinateurs.
Algorithmes.
Intelligence artificielle.
data processing.
computer science.
computers.
algorithms.
artificial intelligence.
Informatique.
Automatisches Beweisverfahren
Informatik
Künstliche Intelligenz
Logik
Problemlösen
Programmierlogik
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Kongress.
Trient (2009)
Tags: Add Tag
No Tags, Be the first to tag this record!

MU Online Library

Holdings details from MU Online Library
Call Number: missing
Copy 0 AVAILABLE
Notes:
  • json {"id":"944db2f0-eb80-5f00-8d45-13005dcb576d","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261491349","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-05-13T12:10:24.508558749Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-05-13T12:10:25.103454310Z"}