Neuware -Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

N� de r�f. du vendeur 9783540517054

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Computational Aspects of an Order-Sorted Logic with Term Declarations
�diteur: Springer Berlin Heidelberg Sep 1989
Date de parution: 1989
Langue: anglais
ISBN � 10 chiffres: 3540517057
ISBN � 13 chiffres: 9783540517054
Reliure: Taschenbuch
�tat de l'article: Neu

Description de la librairie

Impressum Thorsten Retsch Buchversand Mimpf2000 Ober�lschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir f�hren gebrauchte B�cher aus allen Sparten der Literatur

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

buchversandmimpf2000
Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Widerrufsbelehrung/ Muster-Widerrufsformular/
Allgemeine Gesch�ftsbedingungen und Kundeninformationen/ Datenschutzerkl�rung

Widerrufsrecht f�r Verbraucher
(Verbraucher ist jede nat�rliche Person, die ein Rechtsgesch�ft zu Zwecken abschlie�t, die �berwiegend weder ihrer gewerblichen noch ihrer selbstst�ndigen beruflichen T�tigkeit zugerechnet werden kann.)

Widerrufsbelehrung

Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen.
Die Widerru...

Pour plus d'information

Conditions d'exp�dition

Soweit in der Artikelbeschreibung keine andere Frist angegeben ist, erfolgt die Lieferung der Ware innerhalb von 3-5 Werktagen nach Vertragsschluss, bei Vorauszahlung erst nach Eingang des vollst�ndigen Kaufpreises und der Versandkosten. Alle Preise inkl. MwSt.

Informations vendeur d�taill�es