LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Cuvillier Verlag
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.
Neu bei lehmanns bestellen E-Book bei lehmanns bestellen
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check 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
frontend/listing/product-box/box-product-slider.tpl
-76%
Logikkalküle in der Informatik
  • Hardcover
  • 248 Seiten
  • Erschienen 2014
  • Springer Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logikkalküle in der Informatik
Schenke, Michael
7,09 € 29,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Feferman on Foundations
  • Hardcover
  • 632 Seiten
  • Erschienen 2018
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Feferman on Foundations
-
11,82 € 192,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Adaptive Logics for Defeasible Reasoning
  • Hardcover
  • 456 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Adaptive Logics for Defeasible Reasoning
Straßer, Christian
18,03 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
Beiträge zur Grundlegung einer operationsfähigen Dialektik (I): Metakritik der Logik, nicht-aristotelische Logik, Reflexion, Stellenwerttheorie, ... transklassische Maschinentheorie
  • perfect
  • 382 Seiten
  • Erschienen 1976
  • Meiner, F
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Beiträge zur Grundlegung einer...
Günther, Gotthard
33,23 € 98,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
Einführung in die Fuzzy-Logik
  • Hardcover
  • 188 Seiten
  • Erschienen 1994
  • Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die Fuzzy-Logik
Traeger, Dirk H.
4,65 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
7,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
20,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
Aussagenlogik
  • hardcover
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Aussagenlogik
-
2,88 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
8,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
11,28 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
36,67 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
21,82 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
99,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
13,01 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
16,57 €
Details
frontend/listing/product-box/box-product-slider.tpl
Handbook of Logic in Artificial Intelligence and Logic Programming
  • Hardcover
  • 534 Seiten
  • Erschienen 1993
  • Oxford Univ Pr
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbook of Logic in Artificial Intelligence...
-
72,44 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
9,13 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory
  • Hardcover
  • 228 Seiten
  • Erschienen 1989
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory
Pohlers, Wolfram
28,46 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
4,67 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
15,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
20,72 €
Details
frontend/listing/product-box/box-product-slider.tpl
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD, Band 1)
  • paperback
  • 176 Seiten
  • Erschienen 2017
  • College Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Combinatory Logic: (Grundlagen...
Curry, Haskell
12,21 €
Details
frontend/listing/product-box/box-product-slider.tpl
Computer Science Logic
  • Hardcover
  • 528 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Science Logic
-
21,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
Varieties of Logic
  • hardcover
  • 226 Seiten
  • Erschienen 2014
  • Oxford Univ Pr
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Varieties of Logic
Shapiro, Stewart
46,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
Logics in Artificial Intelligence
  • Hardcover
  • 408 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logics in Artificial Intelligence
-
9,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to combinatory logic (London Mathematical Society Lecture Note Series, Band 7)
  • paperback
  • 170 Seiten
  • Erschienen 1972
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to combinatory logic (London...
Seldin, J. P.
42,18 €
Details
frontend/listing/product-box/box-product-slider.tpl
Studies in model theory
  • hardcover
  • 197 Seiten
  • Erschienen 1973
  • Mathematical Association of...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Studies in model theory
Michael D. Morley
20,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
Logic and Information
  • Hardcover
  • 328 Seiten
  • Erschienen 2003
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic and Information
Devlin, Keith J.;Keith, Dev...
11,68 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
26,93 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
20,98 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
31,04 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
9,25 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.;
65,43 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
21,12 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
43,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
119,92 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
37,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
Model Theoretic Algebra
  • Hardcover
  • 240 Seiten
  • Erschienen 1976
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theoretic Algebra
Cherlin, G.
36,72 €
Details
frontend/listing/product-box/box-product-slider.tpl
Mathematical Logic for Computer Science: 2nd edition
  • paperback
  • 320 Seiten
  • Erschienen 2003
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic for Computer Science: 2nd...
Ben-Ari, Mordechai
38,33 €
Details
frontend/listing/product-box/box-product-slider.tpl
Presupposition and Assertion in Dynamic Semantics: A Critical Review of Linguistic Theories of Presupposition and a Dynamic Alternative (Studies in Logic, Language and Information)
  • paperback
  • 250 Seiten
  • Erschienen 2001
  • CTR FOR STUDY OF LANG & INFO
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Presupposition and Assertion in Dynamic...
Beaver, David I.
29,84 €
Details