Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

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

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

Schmidt-Schau??, Manfred

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

28,47 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

9783540517054

Verlag:

Seitenzahl:

184

Auflage:

-

Erschienen:

2008-06-13

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Gut 28,47 €

Sauberer Zustand, Seiten und Bindung etwas abgenutzt
Knicke oder Markierungen nicht mehr als 5%
CDs und Zugangscodes verwendbar

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Neu bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

28,47 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

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

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

Produktdetails

Einband:

paperback

Seitenzahl:

184

Erschienen:

2008-06-13

Sprache:

Englisch

EAN:

9783540517054

ISBN:

9783540517054

Verlag:

Gewicht:

272 g

Auflage:

-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Schmidt-Schau??, Manfred

Entdecke mehr vom Verlag

Gut

28,47 €

Entdecke mehr zum Thema

-77%

The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 (Csli Lecture Notes)

paperback
336 Seiten
Erschienen 1993
CTR FOR STUDY OF LANG & INFO

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Language of First-Order Logic, Including...

Etchemendy, John

9,13 € 39,00 €

-34%

Mathematische Logik mit Informatik-Anwendungen (Heidelberger Taschenbücher) (German Edition) (Heidelberger Taschenbücher, 187, Band 187)

paperback
348 Seiten
Erschienen 1977
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematische Logik mit Informatik-Anwendungen...

Bergmann, E.

33,13 € 49,95 €

A Formalization of Set Theory Without Variables (COLLOQUIUM PUBLICATIONS (AMER MATHEMATICAL SOC))

paperback
318 Seiten
Erschienen 1987
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

A Formalization of Set Theory Without Variables...

Tarski, Alfred

53,39 €

Foundations of Equational Logic Programming (Lecture Notes in Computer Science)

paperback
Erschienen 1990
Springer Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Foundations of Equational Logic Programming...

Holldobler, Steffen

182,22 €

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

paperback
320 Seiten
Erschienen 1993
Prentice-Hall

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Logic for Computer Science...

Ben-Ari, Mordechai

29,48 €

Introduction to Lattices and Order

paperback
248 Seiten
Erschienen 1990
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Introduction to Lattices and Order

Priestley, H. A.

8,34 €

-51%

Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 ... Notes in Computer Science, 2136, Band 2136)

paperback
740 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Foundations of Computer Science...

Pultr, Ales

56,63 € 114,48 €

Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series, Band 16)

hardcover
333 Seiten
Erschienen 1988
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Computing in Horn Clause Theories (Monographs...

Padawitz, Peter

22,39 €

-25%

Automata Theory and Formal Languages: 2nd GI Conference, Kaiserslautern, May 20-23, 1975 (Lecture Notes in Computer Science, 33, Band 33)

paperback
304 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Automata Theory and Formal Languages: 2nd GI...

Brakhage, H.

19,69 € 26,32 €

First-order Logic (Dover Books on Mathematics)

paperback
176 Seiten
Erschienen 1995
Dover Publications Inc.

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

First-order Logic (Dover Books on Mathematics)

Smullyan, Raymond M.

9,46 €

-46%

Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings (Lecture Notes in Computer Science, 3618, Band 3618)

paperback
830 Seiten
Erschienen 2005
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Foundations of Computer Science...

Jedrzejowicz, Joanna

57,36 € 106,99 €

-30%

Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings (Lecture Notes in Computer Science, 107, Band 107)

paperback
496 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Formalization of Programming Concepts:...

Diaz, J.

38,65 € 54,86 €

-71%

Einführung in die Mathematische Logik: Ein Lehrbuch

paperback
256 Seiten
Erschienen 2002
Vieweg+Teubner Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Einführung in die Mathematische Logik: Ein...

Rautenberg, Wolfgang

14,47 € 49,95 €

Semantics of Data Types (Lecture Notes in Computer Science)

paperback
Erschienen 1984
Springer Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Semantics of Data Types (Lecture Notes in...

Kahn

54,77 €

First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

hardcover
257 Seiten
Erschienen 1990
Springer Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

First-Order Logic and Automated Theorem Proving...

Fitting, Melvin

63,86 €

-41%

Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung (Computational Intelligence)

Kartoniert
463 Seiten
Erschienen 1993
Vieweg Verlagsgesellschaft

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Deduktive Datenbanken: Eine Einführung aus der...

Cremers, Armin B.

32,37 € 54,99 €

Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas (Contemporary Mathematics, 425, Band 425)

paperback
150 Seiten
Erschienen 2007
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Advances in Logic: The North Texas Logic...

Jackson, Steve

96,60 €

-35%

Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings (Lecture Notes in Computer Science, 62, Band 62)

paperback
520 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Automata, Languages and Programming: Fifth...

B??hm, C.

37,46 € 57,23 €

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

paperback
-

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Verifying Concurrent Processes Using Temporal...

-

498,21 €

-74%

Ordered Algebraic Structures: Proceedings of the Curaçao Conference, sponsored by the Caribbean Mathematics Foundation, June 26–30, 1995

hardcover
341 Seiten
Erschienen 1997
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Ordered Algebraic Structures: Proceedings of...

Holland, W.C.

42,40 € 160,49 €

-47%

LMS: 220 Algebraic Set Theory (London Mathematical Society Lecture Note Series)

paperback
132 Seiten
Erschienen 2008
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

LMS: 220 Algebraic Set Theory (London...

Joyal, Andri

37,26 € 70,03 €

-45%

Einführung in die formale Logik für Philosophen

Kartoniert
187 Seiten
Erschienen 2016
UTB

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Einführung in die formale Logik für Philosophen

Zoglauer, Thomas

10,96 € 19,99 €

-16%

Set Theory (= Omega-Bibliography of Mathematical Logic - Perspectives in Mathematical Logic - Volume V)

hardcover
791 Seiten
Erschienen 1987
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Set Theory (= Omega-Bibliography of...

Lenski, Wolfgang

72,08 € 85,59 €

-78%

Cylindric-like Algebras and Algebraic Logic (Bolyai Society Mathematical Studies, Band 22)

paperback
480 Seiten
Erschienen 2015
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Cylindric-like Algebras and Algebraic Logic...

Németi, István

23,65 € 106,99 €

Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

paperback
154 Seiten
Erschienen 1988
FT Prentice Hall

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Automated Theorem-proving in Non-classical...

McRobbie, Michael A.

35,14 €

-25%

CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science, 3170, Band 3170)

paperback
548 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

CONCUR 2004 -- Concurrency Theory: 15th...

Yoshida, Nobuko

37,41 € 49,99 €

-37%

Logic of Mathematics: A Modern Course of Classical Logic (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

hardcover
272 Seiten
Erschienen 1997
Wiley-Interscience

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logic of Mathematics: A Modern Course of...

Adamowicz, Zofia

103,54 € 163,36 €

Model Theory (Oxford Logic Guides, Band 37)

hardcover
264 Seiten
Erschienen 1999
OUP Oxford

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Model Theory (Oxford Logic Guides, Band 37)

Manzano, Mariano C.

194,65 €

Closure Spaces and Logic (Mathematics and Its Applications, 369, Band 369)

hardcover
248 Seiten
Erschienen 1996
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Closure Spaces and Logic (Mathematics and Its...

Martin, N.M.

56,81 €

-100%

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)

paperback
372 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Theorem Proving in Higher Order Logics: 12th...

Dowek, Gilles

0,00 € 57,23 €

-44%

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings (Lecture Notes in Computer Science, Band 6816)

Kartoniert
155 Seiten
Erschienen 2011
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Functional and Constraint Logic Programming:...

Kuchen, Herbert

32,16 € 57,23 €

Automorphisms of First-Order Structures (Oxford Logic Guides)

hardcover
404 Seiten
Erschienen 1994
OUP Oxford

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Automorphisms of First-Order Structures (Oxford...

Kaye, Richard

91,18 €

Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science)

paperback
Erschienen 1992
Springer Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Specifying Message Passing and Time-Critical...

Koymans, Ron

49,55 €

-91%

A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definab: ... (Annals of Mathematics Studies, 206)

hardcover
296 Seiten
Erschienen 2020
PRINCETON UNIV PR

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

A Hierarchy of Turing Degrees: A Transfinite...

Greenberg, Noam

13,83 € 162,50 €

-25%

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

Gebunden
198 Seiten
Erschienen 2011
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Apartness and Uniformity: A Constructive...

Bridges, Douglas S. und Vît...

78,44 € 104,50 €

Computability and Logic

paperback
320 Seiten
Erschienen 1989
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Computability and Logic

Jeffrey, Richard C.

10,00 €

-62%

Logic and Computer Design Fundamentals (Prentice Hall international editions)

paperback
512 Seiten
Erschienen 2000
Pearson Education (US)

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logic and Computer Design Fundamentals...

Kime, Charles R.

15,67 € 41,00 €

Einführung in die Logik und Mathematik für Linguisten I. Logik und Mengenlehre.

perfect
-

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Einführung in die Logik und Mathematik für...

-

49,78 €

-67%

Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36, Band 36)

paperback
388 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Theory of Program Structures: Schemes,...

Greibach, Sheila A.

8,77 € 26,32 €