LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)

Levi, Giorgio

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
9783540191292
Verlag:
Springer
Seitenzahl:
232
Auflage:
-
Erschienen:
2008-06-13
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
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

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)

Produktdetails

Einband:
paperback
Seitenzahl:
232
Erschienen:
2008-06-13
Sprache:
Englisch
EAN:
9783540191292
ISBN:
9783540191292
Verlag:
Springer
Gewicht:
731 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Levi, Giorgio

Entdecke mehr vom Verlag

Springer
Akzeptabel
56,67 €
Entdecke mehr zum Thema
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.
9,04 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
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.
26,72 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Computer Science Logic
  • Hardcover
  • 528 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Science Logic
-
6,45 € 53,49 €
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.
28,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
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,42 € 26,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Mathematical Foundations of Computer Science 1979: 8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings (Lecture Notes in Computer Science, 74, Band 74)
  • paperback
  • 596 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Foundations of Computer Science...
Becvar, J.
4,40 € 45,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Logics in Artificial Intelligence
  • Hardcover
  • 408 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logics in Artificial Intelligence
-
2,75 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Practical Aspects of Declarative Languages: First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings (Lecture Notes in Computer Science, 1551, Band 1551)
  • paperback
  • 384 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Practical Aspects of Declarative Languages:...
Gupta, Gopal
5,43 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Natural Language and Logic
  • Hardcover
  • 264 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Natural Language and Logic
Studer, Rudi
3,05 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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
15,86 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Logik und Logikprogrammierung: Band 1: Grundlagen (Kolleg Synchron)
  • Kartoniert
  • 342 Seiten
  • Erschienen 2009
  • Synchron
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logik und Logikprogrammierung: Band 1:...
Hölldobler, Steffen
37,87 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Logic Programming and Databases (Surveys in Computer Science)
  • hardcover
  • 297 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic Programming and Databases (Surveys in...
Tanca, Letizia
1,89 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-64%
Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings (Lecture Notes in Computer Science, 2747, Band 2747)
  • paperback
  • 708 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Foundations of Computer Science...
Vojtas, Peter
41,65 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
Grundlagen der funktionalen Programmierung (XLeitfäden der Informatik)
  • paperback
  • 352 Seiten
  • Erschienen 1994
  • Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grundlagen der funktionalen Programmierung...
Thiemann, Peter
19,51 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
Developments in Language Theory: 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings (Lecture Notes in Computer Science, 2710, Band 2710)
  • paperback
  • 452 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Developments in Language Theory: 7th...
Fülöp, Zoltán
28,28 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... Notes in Computer Science, 2755, Band 2755)
  • paperback
  • 472 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Trends in Algebraic Development...
Pattinson, Dirk
25,85 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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,03 € 42,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-60%
Logic Programming and Databases (Surveys in Computer Science)
  • paperback
  • 304 Seiten
  • Erschienen 2011
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic Programming and Databases (Surveys in...
Tanca, Letizia
32,42 € 80,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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
6,29 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 2006 Proceedings, Part I: 33rd International ... Notes in Computer Science, 4051, Band 4051)
  • Kartoniert
  • 729 Seiten
  • Erschienen 2006
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automata, Languages and Programming: 33rd...
Bugliesi, Michele und Prene...
49,15 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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.
3,95 € 57,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
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
36,22 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Programming Language Fundamentals
  • Hardcover
  • 224 Seiten
  • Erschienen 2024
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Language Fundamentals
Erwig, Martin
12,38 € 101,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
STACS 99: 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings (Lecture Notes in Computer Science, 1563, Band 1563)
  • paperback
  • 604 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
STACS 99: 16th Annual Symposium on Theoretical...
Meinel, Christoph
51,75 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,20 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-41%
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, ... Science and General Issues, Band 7399)
  • paperback
  • 268 Seiten
  • Erschienen 2012
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Coalgebraic Methods in Computer Science: 11th...
Schröder, Lutz
31,80 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Optimization and Computational Logic (Wiley-Interscience Series in Discrete Mathematics and Optimization)
  • hardcover
  • 536 Seiten
  • Erschienen 1996
  • Wiley-Interscience
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Optimization and Computational Logic...
Tretkoff, Carol
6,70 € 112,35 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Eco Targets, Goal Functions, and Orientors
  • Hardcover
  • 644 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Eco Targets, Goal Functions, and Orientors
-
19,58 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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
6,63 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
ECOOP 2003 - Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings (Lecture Notes in Computer Science, 2743, Band 2743)
  • paperback
  • 516 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
ECOOP 2003 - Object-Oriented Programming: 17th...
Cardelli, Luca
50,48 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
Functional Thinking: Paradigm Over Syntax
  • Hardcover
  • 325 Seiten
  • Erschienen 2014
  • O'Reilly Media
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Functional Thinking: Paradigm Over Syntax
Ford, Neal
15,22 € 39,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-60%
Logic in Practice (Routledge Library Editions: Logic)
  • paperback
  • 104 Seiten
  • Erschienen 2021
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic in Practice (Routledge Library Editions:...
Stebbing, L. Susan
16,60 € 41,58 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
Logik und Programmieren in Logik: Eine Einführung in die Sprache Prolog (Prentice Hall (dt. Titel))
  • paperback
    • -
  • Erschienen 1995
  • Markt+Technik Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logik und Programmieren in Logik: Eine...
-
5,65 € 19,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European ... Notes in Computer Science, 4423, Band 4423)
  • Kartoniert
  • 379 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Software Science and...
Seidl, Helmut
26,59 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Logische und Funktionale Programmierung: Grundlagen einer Kombination (Künstliche Intelligenz)
  • paperback
  • 168 Seiten
  • Erschienen 1991
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logische und Funktionale Programmierung:...
Furbach, Ulrich
3,46 € 54,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen
  • Kartoniert
  • 474 Seiten
  • Erschienen 2011
  • Synchron
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logik und Logikprogrammierung Band 2: Aufgaben...
Hölldobler, Steffen
60,65 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
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.
2,77 € 85,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
-30%
Diamonds and Defaults: Studies in Pure and Applied Intensional Logic (Synthese Library, 229, Band 229)
  • hardcover
  • 397 Seiten
  • Erschienen 1993
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Diamonds and Defaults: Studies in Pure and...
de Rijke, Maarten
111,96 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... Notes in Computer Science, 1130, Band 1130)
  • Kartoniert
  • 551 Seiten
  • Erschienen 1996
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Trends in Data Type Specification: 11th...
Haveraaen, M. und Owe, O. u...
28,46 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
Sprache, Beweis und Logik. Band II: Anwendungen und Metatheorie
  • Kartoniert
  • 239 Seiten
  • Erschienen 2006
  • Brill | mentis
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Sprache, Beweis und Logik. Band II: Anwendungen...
Barwise, John und Etchemend...
18,89 € 56,00 €
Details