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 48,70
(inkl. MwSt.)
UVP

Lieferbar in ca. 10-14 Arbeitstagen

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 mehr lieferbar

CHF 11,70
inkl. MwSt.
UVP
Python 3 Programmieren für Einsteiger

Python 3 Programmieren für Einsteiger

Bonacina, Michael
Verlag:Bmu Media

Lieferbar innerhalb 36 Stunden

CHF 31,50
inkl. MwSt.
UVP
Windows 11

Windows 11

Schels, Ignatz
Verlag:Markt +Technik

Nicht mehr lieferbar

CHF 17,90
inkl. MwSt.
UVP
Follow me!

Follow me!

Bannour, Karim-Patrick
Verlag:Rheinwerk

Lieferbar innerhalb 36 Stunden

CHF 46,00
inkl. MwSt.
UVP
Dein iPhone 12

Dein iPhone 12

Kiefer, Philip
Verlag:Markt +Technik

Nicht mehr lieferbar

CHF 28,90
inkl. MwSt.
UVP
OneNote

OneNote

Wolf, Jürgen
Verlag:Vierfarben

Lieferbar innerhalb 36 Stunden

CHF 28,90
inkl. MwSt.
UVP
Alle Artikel anzeigen
Ferrachstrasse 9, 8630 Rüti
  • A. Köhler AG Rüti
  • Ferrachstrasse 9
  • 8630 Rüti
  • Öffnungszeiten

Montag - Freitag 8.00 - 12.00 Uhr 13.30 - 18.30 Uhr Samstag 8.00 - 16-00 Uhr