Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "121309215"

Zurück zur Trefferliste


Treffer 4 von 4 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1283210983
Art des Inhalts Konferenzschrift, 1999, Tiflis
Titel Logic for Programming and Automated Reasoning : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
Person(en) Ganzinger, Harald (Herausgeber)
Organisation(en) LPAR (6 : 1999 : T'bilisi) (Herausgebendes Organ)
Verlag Cham : Springer Nature Switzerland
Zeitliche Einordnung Erscheinungsdatum: 1999
Umfang/Format Online-Ressource (pdf)
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Logic for programming and automated reasoning
Persistent Identifier URN: urn:nbn:de:101:1-2023031307584704442653
DOI: 10.1007/3-540-48242-3
URL https://link.springer.com/book/10.1007/978-3-540-48242-0 (Verlag)
ISBN/Einband/Preis 978-3-540-48242-0
EAN 9783540482420
Sprache(n) Englisch (eng)
Beziehungen Lecture Notes in Computer Science
Schlagwörter Logische Programmierung
Automatisches Beweisverfahren
Programmierlogik

Online-Zugriff Archivobjekt öffnen




Treffer 4 von 4
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration