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

Computational Aspects of an Order-Sorted Logic with Term Declarations

Lieferzeit: Lieferbar innerhalb 14 Tagen

37,44 €

inkl. 7 % MwSt. zzgl. Versandkosten

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

ISBN:	3540517057
ISBN 13:	9783540517054
Autor:	Schmidt-Schauß, Manfred
Verlag:	Springer Verlag GmbH
Umfang:	x, 174 S.
Erscheinungsdatum:	20.09.1989
Produktform:	Kartoniert
Einband:	Kartoniert

Artikelnummer: 1456557 Kategorie: Informatik

Beschreibung

Beschreibung

Autorenporträt

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

Herstellerkennzeichnung:

Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …

Computational Logic in Multi-Agent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Aspects of Social Networks
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Balfour Declaration
17,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Aspects of Penetration Mechanics
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theoretical and Computational Chemistry Aspects
210,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Geological Storage of CO2 – Long Term Security Aspects
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Aspects of Philosophical Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic CL 2000
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Jewish Festivals
19,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Higher-Order Algebra, Logic, and Term Rewriting
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Wachstum und Terms of Trade.
49,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry III
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic: Logic Programming and Beyond
139,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Aspects of Model Choice
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry IV
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Intellectics and Computational Logic
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Terme und Gleichungen von Anfang an
24,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Term ‚Security‘ in Legal Sciences – Selected Aspects
24,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic and Set Theory
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Semantic-linguistic aspects of the four terms in Besmelah
61,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modelling Volatility of Characteristics-sorted Portfolios
45,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Aspects of Mathematical Logic
37,40 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logical Aspects of Computational Linguistics
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic and Set Theory
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modelling Puzzles in First Order Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry IV
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic and Lexicon
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry II
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Aspects
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logical Aspects of Computational Linguistics
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Aspects of Complex Analysis
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Historischer und beschreibender Catalog der Königlich bayerischen Schatzkammer zu München
69,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Rhodesia’s Unilateral Declaration of Independence
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The 2024 Declaration of Helsinki
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Aspects of General Equilibrium Theory
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Biophysical Aspects of Coherence and Biological Order
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First Order-Logic
84,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry I
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Conventions and Declarations
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
51,36 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theological Aspects of Order in Byzantine Canon Law
26,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic: Logic Programming and Beyond
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Intellectics and Computational Logic
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Analysis and Interpretation of Elias-Fano coding for Sorted Integers
93,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Aspects of Aristotles Logic of Modalities
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Terme und Gleichungen
27,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Beitrag des Pflegezeitgesetzes zur besseren Vereinbarkeit von Angehörigenpflege und Beruf
89,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Intensional First-Order Logic
179,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Signers of the Declaration
35,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic and Computational Complexity
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
From Computational Logic to Computational Biology
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Cognitive Aspects of Computational Language Acquisition
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Aspects of Cooperative Game Theory
37,44 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Spielend fit in Mathe! Terme und Gleichungen
26,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Cognitive Aspects of Computational Language Acquisition
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry I
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Building Sorted by Type
79,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Aspects of Linear Control
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logical Aspects of Computational Linguistics
51,36 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic and Proof Theory
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Geological Storage of CO2 – Long Term Security Aspects
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry II
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Shredding Bach
27,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry III
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Aspects of Aristotles Logic of Modalities
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Historischer und beschreibender Catalog der Königlich bayerischen Schatzkammer zu München
89,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Cellulase Production and Biodeinking of Sorted Office Paper
76,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Actuarial Aspects of Long Term Care
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic and Proof Theory
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logical Aspects of Computational Linguistics
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First-Order Modal Logic
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First-Order Modal Logic
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logical Aspects of Computational Linguistics
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Mathematical and Computational Aspects
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
‚Sag, wie hast du’s mit der Religion?‘
28,50 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First-Order Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Angst vergessen
19,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry V
192,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Higher-Order Algebra, Logic, and Term Rewriting
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Arrow Declaration Rechtsschutz gegen zukünftige Patente
69,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Aspects of Computational Chemistry V
192,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Declaration of Independence
13,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic and Quantum Logic
35,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Development in Computational Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic and Lexicon
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Sorted!
12,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Aspects of Modern Logic
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

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

Sie sehen: Computational Aspects of an Order-Sorted Logic with Term Declarations 37,44 €

In den Warenkorb