תמונות העטיפה

Summary goes here

שמור ב:
מידע ביבליוגרפי
פורמט: ספר
שפה:אנגלית
נושאים:
Siekmann, Jörg H.
Automatic theorem proving.
Logic, Symbolic and mathematical.
Reasoning
Formal methods (Computer science)
Logique symbolique et mathématique.
Méthodes formelles (Informatique)
Raisonnement
Théorèmes
MATHEMATICS
Informatique.
Formale Methode
Logischer Schluss
Automatisches Beweisverfahren
Softwareentwicklung
Raisonnement (Informatique)
Démonstration automatique de théorèmes.
Méthode formelle.
Logique mathématique.
Congress
Festschriften.
Conference papers and proceedings.
Actes de congrès.
Aufsatzsammlung.
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

MU Online Library

פרטי מלאי ספרים מ MU Online Library
סימן המיקום: missing
עותק 0 AVAILABLE
הערות:
  • json {"id":"316dc899-c94d-58c8-91f2-b618c0272c94","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261531001","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-05-13T10:57:00.225097946Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-05-13T10:57:00.409665283Z"}