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

Klimaneutrales Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

The Complexity of Hybrid Logics over Restricted Frame Classes

The Complexity of Hybrid Logics over Restricted Frame Classes

Schneider, Thomas

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation

Sprache:

Englisch

ISBN:

3867272980

Verlag:

Cuvillier Verlag

Seitenzahl:

108

Auflage:

-

Erschienen:

2007-07-19

Dieser Artikel steht derzeit nicht zur Verfügung!

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.

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.

bestellen E-Book bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

The Complexity of Hybrid Logics over Restricted Frame Classes

The Complexity of Hybrid Logics over Restricted Frame Classes von Schneider, Thomas

Produktdetails

Einband:

Kartoniert

Seitenzahl:

108

Erschienen:

2007-07-19

Sprache:

Englisch

EAN:

9783867272988

ISBN:

3867272980

Verlag:

Cuvillier Verlag

Gewicht:

188 g

Auflage:

-

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

Über den Autor

Schneider, Thomas

Entdecke mehr vom Verlag

Cuvillier Verlag

Neu

18,05 €

Entdecke mehr zum Thema

-94%

Extensional Gödel Functional Interpretation

Hardcover
172 Seiten
Erschienen 1973
Springer

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

Extensional Gödel Functional Interpretation

Luckhardt, Horst

1,65 € 26,74 €

-83%

Complex and Derived Constructions

Hardcover
500 Seiten
Erschienen 1997
De Gruyter Mouton

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

Complex and Derived Constructions

Dik, Simon C.;

23,14 € 139,95 €

-98%

Tense and Tense Logic

Hardcover
176 Seiten
Erschienen 1980
De Gruyter Mouton

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

Tense and Tense Logic

Clifford, John E.

2,56 € 109,95 €

-49%

Modal Logic for Philosophers

Hardcover
506 Seiten
Erschienen 2014
Cambridge University Press

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

Modal Logic for Philosophers

Garson, James W.

26,49 € 51,70 €

-92%

Systems of Logic

Taschenbuch
336 Seiten
Erschienen 2009
Cambridge University Press

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

Systems of Logic

Martin, Norman M.

4,60 € 57,90 €

-93%

Transductions and Context-Free Languages

Hardcover
284 Seiten
Erschienen 1979
Teubner

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

Transductions and Context-Free Languages

Berstel, Jean

3,02 € 44,99 €

-83%

The Structure of the Clause

Hardcover
532 Seiten
Erschienen 1997
Mouton de Gruyter

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

The Structure of the Clause

Dik, Simon C.

7,47 € 44,95 €

-86%

Proof Theory and Intuitionistic Systems

Hardcover
300 Seiten
Erschienen 1971
Springer

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

Proof Theory and Intuitionistic Systems

Scarpellini, Bruno

5,86 € 42,75 €

-97%

Qualitative Spatial and Temporal Reasoning

Hardcover
544 Seiten
Erschienen 2011
Wiley-ISTE

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

Qualitative Spatial and Temporal Reasoning

Ligozat, Gérard

7,35 € 242,50 €

-18%

An Introduction to Description Logic

paperback
264 Seiten
Erschienen 2017
Cambridge University Press

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

An Introduction to Description Logic

Lutz, Carsten

32,87 € 39,96 €

-81%

Tertium Datur. Gotthard Günthers Entwurf einer logica disponens

paperback
300 Seiten
Erschienen 2004
Logos Berlin

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

Tertium Datur. Gotthard Günthers Entwurf einer...

Lorenz, Kai

7,42 € 40,00 €

-91%

Logik und Logikprogrammierung (Kolleg Synchron)

paperback
312 Seiten
Erschienen 2003
Synchron

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

Logik und Logikprogrammierung (Kolleg Synchron)

Hölldobler, Steffen

2,73 € 29,80 €

-50%

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

paperback
342 Seiten
Erschienen 2008
Cambridge University Press

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

An Introduction to Many-Valued and Fuzzy Logic:...

Bergmann, Merrie

31,28 € 63,01 €

-74%

Varieties of Logic

hardcover
226 Seiten
Erschienen 2014
Oxford Univ Pr

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

Varieties of Logic

Shapiro, Stewart

16,37 € 64,00 €

-57%

Modal Logic as Metaphysics

hardcover
464 Seiten
Erschienen 2013
Oxford University Press

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

Modal Logic as Metaphysics

Williamson, Timothy

19,01 € 44,50 €

-86%

The Principles of Mathematics Revisited

Hardcover
304 Seiten
Erschienen 2003
Cambridge University Press

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

The Principles of Mathematics Revisited

Hintikka, Jaakko

5,52 € 39,30 €

-39%

Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides)

hardcover
152 Seiten
Erschienen 1977
Oxford University Press

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

Beginning Model Theory: The Completeness...

Bridge, Jane

11,64 € 19,21 €

-88%

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

paperback
240 Seiten
Erschienen 2002
Springer

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

Isabelle/HOL: A Proof Assistant for...

Wenzel, Markus

7,71 € 62,96 €

-94%

Logics in Artificial Intelligence

Hardcover
408 Seiten
Erschienen 1998
Springer

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

Logics in Artificial Intelligence

-

3,20 € 53,49 €

-47%

Proof Theory and Algebra in Logic (Short Textbooks in Logic)

paperback
168 Seiten
Erschienen 2019
Springer

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

Proof Theory and Algebra in Logic (Short...

Ono, Hiroakira

21,43 € 40,65 €

-87%

Hardcover
228 Seiten
Erschienen 1989
Springer

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

Proof Theory

Pohlers, Wolfram

10,06 € 80,24 €

-22%

A Companion to Modal Logic

paperback
220 Seiten
Erschienen 1985
Routledge

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

A Companion to Modal Logic

Cresswell, M. J.

14,96 € 19,21 €

-44%

A Course in Mathematical Logic for Mathematicians (Graduate Texts in Mathematics, 53, Band 53)

hardcover
404 Seiten
Erschienen 2009
Springer

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

A Course in Mathematical Logic for...

Koblitz

36,65 € 65,38 €

-86%

Computation Theory and Logic

Hardcover
460 Seiten
Erschienen 1987
Springer

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

Computation Theory and Logic

Börger, Egon

7,33 € 53,49 €

Grundzüge der Logik, in 2 Bdn., Bd.2, Klassen, Relationen, Zahlen

paperback
400 Seiten
Erschienen 1993
Klostermann, Vittorio

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

Grundzüge der Logik, in 2 Bdn., Bd.2, Klassen,...

Brendel, Elke

43,35 €

-87%

Strukturtypen der Logik (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3, Band 3)

hardcover
541 Seiten
Erschienen 1983
Springer

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

Strukturtypen der Logik (Probleme und Resultate...

Varga von Kibed, Matthias

23,93 € 179,99 €

Logic Colloquium 1981: Herbrand Symposium Proceedings (Studies in Logic and the Foundations of Mathematics)

hardcover
396 Seiten
Erschienen 1982
Elsevier Science Ltd

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

Logic Colloquium 1981: Herbrand Symposium...

Stern, J.

33,29 €

-16%

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

Kartoniert
576 Seiten
Erschienen 2006
Dover Publications Inc.

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

Topoi: The Categorial Analysis of Logic (Dover...

Goldblatt, Robert

21,28 € 25,29 €

-93%

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

paperback
224 Seiten
Erschienen 2008
Springer

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

Verifying Concurrent Processes Using Temporal...

Hailpern, B. T.

3,99 € 57,23 €

Introduction to Mathematical Logic (University Series in Undergraduate Mathematics)

textbook
300 Seiten
Erschienen 1964
Van Nostrand Reinhold

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

Introduction to Mathematical Logic (University...

Mendelson, Elliott

12,97 €

-35%

Logik und Denken (Konstanzer Universitätsreden)

paperback
53 Seiten
Erschienen 1970
Universitätsverlag Konstanz

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

Logik und Denken (Konstanzer Universitätsreden)

Schleichert, Hubert

6,48 € 9,90 €

-51%

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details (Synthese Library, 70, Band 70)

microfilm
606 Seiten
Erschienen 1974
Springer

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

An Outline of Mathematical Logic: Fundamental...

Zawadowski, Waclaw

42,17 € 85,55 €

-96%

General Recursion Theory: An Axiomatic Approach (Perspectives in Mathematical Logic)

hardcover
228 Seiten
Erschienen 1980
Springer

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

General Recursion Theory: An Axiomatic Approach...

Fenstad, J. E.

3,23 € 85,59 €

-82%

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal (De Gruyter Series in Logic and Its Applications, 1, Band 1)

hardcover
940 Seiten
Erschienen 1999
De Gruyter

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

The Axiom of Determinacy, Forcing Axioms, and...

Woodin, W. Hugh

35,28 € 194,00 €

Logic Colloquium 1984: Proceedings (Studies in Logic and the Foundations of Mathematics)

hardcover
388 Seiten
Erschienen 1986
Elsevier Science Ltd

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

Logic Colloquium 1984: Proceedings (Studies in...

etc.

10,53 €

-86%

Computer Science Logic

Hardcover
528 Seiten
Erschienen 1998
Springer

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

Computer Science Logic

-

7,51 € 53,49 €

-33%

Logical Properties: Identity, Existence, Predication, Necessity, Truth

hardcover
114 Seiten
Erschienen 2001
Oxford University Press

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

Logical Properties: Identity, Existence,...

McGinn, Colin

24,45 € 36,37 €

-62%

Introduction to Logic (Student)

paperback
185 Seiten
Erschienen 2018
MASTER BOOKS INC

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

Introduction to Logic (Student)

Lisle, Jason

10,97 € 29,00 €

-86%

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Hardcover
504 Seiten
Erschienen 1973
Springer

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

Metamathematical Investigation of...

Troelstra, Anne S.

9,52 € 69,54 €

-46%

Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected ... Notes in Computer Science, 1471, Band 1471)

paperback
264 Seiten
Erschienen 2008
Springer

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

Logic Programming and Knowledge Representation:...

Przymusinski, Teodor C.

31,11 € 57,23 €