Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods

From MaRDI portal

Revision as of 03:11, 1 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1581358

Jump to:navigation, search

zbMath0948.00015MaRDI QIDQ1581358

No author found.

Publication date: 17 September 2000

Published in: Applied Logic Series (Search for Journal in Brave)

zbMATH Keywords

Automated deduction

Mathematics Subject Classification ID

00B15: Collections of articles of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

03B25: Decidability of theories and sets of sentences

Related Items

Fault-Tolerant Aggregate Signatures

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1581358&oldid=13875493"