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)
20,00 €
was sie kann & was uns erwartet
Buch | Softcover (2023)
C.H.Beck (Verlag)
18,00 €
von absurd bis tödlich: Die Tücken der künstlichen Intelligenz
Buch | Softcover (2023)
Heyne (Verlag)
20,00 €
