Computational Aspects of an Order-Sorted Logic with Term Declarations - Couverture souple

Schmidt-Schau??, Manfred

9783540517054: Computational Aspects of an Order-Sorted Logic with Term Declarations

Couverture souple

ISBN 10 : 3540517057 ISBN 13 : 9783540517054

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l'ISBN

2 D'occasion

De EUR 9,37

9 Neuf

De EUR 40,75

D�tails de l'�dition

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540517057
ISBN 13: 9783540517054
Reliure: Broch�
Nombre de pages: 184
Coordonn�es du fabricant: GPSR Kontakt
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Allemagne

Acheter D'occasion

�tat : Assez bon

Sorry, No international shipping...

Afficher cet article

EUR 9,37

Exp�dition �EUR 6,14
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 40,75

Exp�dition �EUR 18,01
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

R�sultats de recherche pour Computational Aspects of an Order-Sorted Logic with...

Image fournie par le vendeur

Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)

Schmidt-Schau??, Manfred

Edit� par Springer, 1989

ISBN 10 : 3540517057 ISBN 13 : 9783540517054

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N� de r�f. du vendeur UT1572730

Contacter le vendeur

Acheter D'occasion

EUR 9,37

Exp�dition �EUR 6,14
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Computational aspects of an order-sorted logic with term declarations.

Schmidt-Schauss, Manfred.

Edit� par Springer, 1989

ISBN 10 : 3540517057 ISBN 13 : 9783540517054

Ancien ou d'occasion Couverture souple

Vendeur : Kloof Booksellers & Scientia Verlag, Amsterdam, Pays-Bas

�valuation du vendeur 4 sur 5 �toiles

Etat : very good. Berlin & New York : Springer-Verlag, 1989. Paperback. viii, 171 pp. Library stamp. (Lecture notes in artificial intelligence 395). - Papers about the computational aspects of an order-sorted logic (OSL) with term declarations, a logic framework that extends traditional logic by incorporating sorting of terms. The book discusses how such logics can be applied to complex system modeling, particularly in areas like artificial intelligence and programming languages. It provides theoretical insights and computational frameworks for representing knowledge and organizing types and terms in formal systems. By using order-sorted logic, this work contributes to enhancing knowledge representation, type systems, and functional programming. Its relevance extends to those working with sorted logic or engaged in developing advanced computational models, offering new methodologies for systematizing complex information in AI and related fields. Condition : very good copy. ISBN 9783540517054. Keywords : COMPUTER SCIENCE, artificial intelligence (AI) order-sorted logic knowledge-based systems. N� de r�f. du vendeur 304100

Contacter le vendeur

Acheter D'occasion

EUR 16,95

Exp�dition �EUR 30
Exp�dition depuis Pays-Bas vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)

Manfred Schmidt-Schau??

Edit� par Springer 2008-06-13, 2008

ISBN 10 : 3540517057 ISBN 13 : 9783540517054

Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : New. N� de r�f. du vendeur 6666-IUK-9783540517054

Contacter le vendeur

Acheter neuf

EUR 40,75

Exp�dition �EUR 18,01
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)

Schmidt-Schau�, Manfred

Edit� par Springer, 1989

ISBN 10 : 3540517057 ISBN 13 : 9783540517054

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In English. N� de r�f. du vendeur ria9783540517054_new

Contacter le vendeur

Acheter neuf

EUR 49,44

Exp�dition �EUR 10,90
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Computational Aspects of an Order-Sorted Logic with Term Declarations

Manfred Schmidt-Schau�

Edit� par Springer Berlin Heidelberg Sep 1989, 1989

ISBN 10 : 3540517057 ISBN 13 : 9783540517054

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References. 184 pp. Englisch. N� de r�f. du vendeur 9783540517054

Contacter le vendeur

Acheter neuf

EUR 37,44

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)

Schmidt-Schau�, Manfred

Edit� par Springer, 1989

ISBN 10 : 3540517057 ISBN 13 : 9783540517054

Neuf paperback

Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

paperback. Etat : New. In shrink wrap. Looks like an interesting title! N� de r�f. du vendeur Q-3540517057

Contacter le vendeur

Acheter neuf

EUR 72,13

Exp�dition �EUR 6,10
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Computational Aspects of an Order-Sorted Logic with Term Declarations

Manfred Schmidt-Schau�

Edit� par Springer, 1989

ISBN 10 : 3540517057 ISBN 13 : 9783540517054

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References. N� de r�f. du vendeur 9783540517054

Contacter le vendeur

Acheter neuf

EUR 44,23

Exp�dition �EUR 35
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Computational Aspects of an Order-Sorted Logic with Term Declarations

Manfred Schmidt-Schau�

Edit� par Springer Berlin Heidelberg, 1989

ISBN 10 : 3540517057 ISBN 13 : 9783540517054

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.InhaltsverzeichnisFoundations.- Various ex. N� de r�f. du vendeur 4892090

Contacter le vendeur

Acheter neuf

EUR 35,19

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)

Schmidt-Schau�, Manfred

Edit� par Springer, 1989

ISBN 10 : 3540517057 ISBN 13 : 9783540517054

Neuf Couverture souple

Vendeur : SHIMEDIA, Brooklyn, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Satisfaction Guaranteed or your money back. N� de r�f. du vendeur 3540517057

Contacter le vendeur

Acheter neuf

EUR 90,41

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Computational Aspects of an Order-Sorted Logic with Term Declarations

Manfred Schmidt-Schau�

Edit� par Springer, Springer Sep 1989, 1989

ISBN 10 : 3540517057 ISBN 13 : 9783540517054

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 184 pp. Englisch. N� de r�f. du vendeur 9783540517054

Contacter le vendeur

Acheter neuf

EUR 37,44

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre

Articles li�s � Computational Aspects of an Order-Sorted Logic with...

Computational Aspects of an Order-Sorted Logic with Term Declarations - Couverture souple

R�sultats de recherche pour Computational Aspects of an Order-Sorted Logic with...

Acheter D'occasion

Acheter D'occasion

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

There are 1 autres exemplaires de ce livre sont disponibles