Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
Seiten
2019
|
2., unveränderte Auflage
utzverlag GmbH
978-3-8316-8376-5 (ISBN)
utzverlag GmbH
978-3-8316-8376-5 (ISBN)
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
Erscheinungsdatum | 11.01.2024 |
---|---|
Reihe/Serie | Informatik ; 1 |
Verlagsort | München |
Sprache | deutsch |
Maße | 145 x 205 mm |
Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
Schlagworte | Aussagenlokik • Davis-Putman-Verfahren • dowling • Finde_Belegung4 • Gallier • Hornformeln • Krishnamurthy • Pigeonhole • Semantikbaum • Semantik-DAG |
ISBN-10 | 3-8316-8376-X / 383168376X |
ISBN-13 | 978-3-8316-8376-5 / 9783831683765 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
REDLINE (Verlag)
CHF 27,95
was sie kann & was uns erwartet
Buch | Softcover (2023)
C.H.Beck (Verlag)
CHF 25,20
von absurd bis tödlich: Die Tücken der künstlichen Intelligenz
Buch | Softcover (2023)
Heyne (Verlag)
CHF 27,95