Suchformular

0
Startseite » Shop » 9783540517054 » Computational Aspects of an Order-Sorted Logic with Term Declarations

Computational Aspects of an Order-Sorted Logic with Term Declarations

Lecture Notes in Computer Science 395 - Lecture Notes in Artificial Intelligence

Erschienen am 01.09.2007
CHF 46,70
(inkl. MwSt.)
exkl. Versand

Lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783540517054
Sprache: Englisch
Auflage: 1. Auflage

Autorenportrait

InhaltsangabeFoundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

Weitere Artikel aus der Kategorie "Informatik & EDV"

Erste Schritte mit deinem iPhone- verständlich und alltagstauglich

Erste Schritte mit deinem iPhone- verständlich und alltagstauglich

Dieter-Ridder, Charlotte
Verlag:Bod

Nicht lieferbar

CHF 10,70
inkl. MwSt.
exkl. Versand
Python 3 Programmieren für Einsteiger

Python 3 Programmieren für Einsteiger

Bonacina, Michael
Verlag:Bmu Media

Lieferbar innerhalb 1-3 Tagen

CHF 29,50
inkl. MwSt.
exkl. Versand
Windows 11

Windows 11

Schels, Ignatz
Verlag:Markt +Technik

Nicht lieferbar

CHF 16,90
inkl. MwSt.
exkl. Versand
Follow me!

Follow me!

Bannour, Karim-Patrick
Verlag:Rheinwerk

Lieferbar innerhalb 1-3 Tagen

CHF 44,00
inkl. MwSt.
exkl. Versand
Dein iPhone 12

Dein iPhone 12

Kiefer, Philip
Verlag:Markt +Technik

Nicht lieferbar

CHF 26,90
inkl. MwSt.
exkl. Versand
OneNote

OneNote

Wolf, Jürgen
Verlag:Vierfarben

Lieferbar innerhalb 1-3 Tagen

CHF 26,90
inkl. MwSt.
exkl. Versand
Alle Artikel anzeigen