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, Auflage: 1. Auflage
CHF 46,70
(inkl. MwSt.)
Informationen zum Versand

Noch nicht lieferbar

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

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.
Informationen zum Versand
Python 3 Programmieren für Einsteiger

Python 3 Programmieren für Einsteiger

Bonacina, Michael
Verlag:Bmu Media

Sofort Lieferbar

CHF 29,50
inkl. MwSt.
Informationen zum Versand
Windows 11

Windows 11

Schels, Ignatz
Verlag:Markt +Technik

Nicht lieferbar

CHF 16,90
inkl. MwSt.
Informationen zum Versand
Follow me!

Follow me!

Bannour, Karim-Patrick
Verlag:Rheinwerk

Sofort Lieferbar

CHF 44,00
inkl. MwSt.
Informationen zum Versand
Dein iPhone 12

Dein iPhone 12

Kiefer, Philip
Verlag:Markt +Technik

Nicht lieferbar

CHF 26,90
inkl. MwSt.
Informationen zum Versand
OneNote

OneNote

Wolf, Jürgen
Verlag:Vierfarben

Sofort Lieferbar

CHF 26,90
inkl. MwSt.
Informationen zum Versand
Alle Artikel anzeigen