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.
Bestellen bei zvab
Neu bestellen bei lehmanns
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
-70%
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.
17,23 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Computer Science Logic
  • Hardcover
  • 528 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Science Logic
-
4,16 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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.
2,84 € 45,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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
3,50 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Natural Language and Logic
  • Hardcover
  • 264 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Natural Language and Logic
Studer, Rudi
1,97 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
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
10,23 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
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
26,85 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
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
18,24 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
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
16,67 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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
20,91 € 80,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
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
4,06 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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...
31,70 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Formal Logic: Its Scope and Limits
  • hardcover
  • 198 Seiten
  • Erschienen 1981
  • McGraw-Hill Inc.,US
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Logic: Its Scope and Limits
Jeffrey, Richard C.
9,03 € 64,57 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
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
33,37 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
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
19,70 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-42%
The Science of Functional Programming, Part I: A tutorial, with examples in Scala
  • paperback
  • 280 Seiten
  • Erschienen 2024
  • lulu.com
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Science of Functional Programming, Part I:...
Winitzki, Sergei
28,40 € 49,21 €
Details
frontend/listing/product-box/box-product-slider.tpl
-27%
The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)
  • paperback
  • 450 Seiten
  • Erschienen 2004
  • College Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Haskell Road to Logic, Maths and...
Eijck, Van Jan
12,78 € 17,53 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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
3,61 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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
32,55 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
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
9,81 € 39,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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
10,71 € 41,58 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
ECOOP '98 - Object-Oriented Programming: 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings (Lecture Notes in Computer Science, 1445, Band 1445)
  • paperback
  • 660 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
ECOOP '98 - Object-Oriented Programming: 12th...
Jul, Eric
21,11 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
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
17,15 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-25%
The Science of Functional Programming, Part II: A tutorial, with examples in Scala
  • paperback
  • 581 Seiten
  • Erschienen 2024
  • lulu.com
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Science of Functional Programming, Part II:...
Winitzki, Sergei
56,32 € 75,38 €
Details
frontend/listing/product-box/box-product-slider.tpl
-17%
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
33,06 € 39,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
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
72,20 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
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...
18,35 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Implementing Functional Prog Languages
  • paperback
  • 500 Seiten
  • Erschienen 1987
  • Prentice Hall International...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Implementing Functional Prog Languages
Peyton-Jones
197,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Mathematical Programming the State of the Art: Bonn 1982
  • hardcover
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Programming the State of the Art:...
-
204,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Towards global optimisation: Proceedings of a workshop at the University of Cagliari, Italy, October 1974.
  • hardcover
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Towards global optimisation: Proceedings of a...
-
39,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
  • hardcover
  • 354 Seiten
  • Erschienen 2024
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Reasons for Logic, Logic for Reasons:...
Hlobil, Ulf
54,20 € 119,58 €
Details
frontend/listing/product-box/box-product-slider.tpl
Einführung in die logische Programmierung mit PROLOG (BI - Hochschultaschenbücher)
  • paperback
  • 227 Seiten
  • Duden ein Imprint von Corne...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die logische Programmierung mit...
Belli, Fevzi
8,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Typed Lambda Calculi and Applications
  • Hardcover
  • 448 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Typed Lambda Calculi and Applications
Abramsky, Samson
4,16 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science, 2757, Band 2757)
  • paperback
  • 476 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Methods at the Crossroads. From Panacea...
Aichernig, Bernhard K.
13,82 € 57,23 €
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
7,18 €
Details
frontend/listing/product-box/box-product-slider.tpl
Experimente mit programmierbarer Logik (PC & Elektronik)
  • hardcover
  • 312 Seiten
  • Erschienen 2005
  • FRANZIS GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Experimente mit programmierbarer Logik (PC &...
Jost, Rainer
20,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings (Theoretical Computer Science and General Issues, Band 8493)
  • paperback
  • 424 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Language, Life, Limits: 10th Conference on...
Meer, Klaus
14,06 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Logisch-pragmatische Propädeutik: Ein Grundkurs im philosophischen Reflektieren
  • paperback
  • 232 Seiten
  • Erschienen 2001
  • Velbrück
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logisch-pragmatische Propädeutik: Ein Grundkurs...
Janich, Peter
12,16 €
Details
frontend/listing/product-box/box-product-slider.tpl
-42%
Introduction to Logic (Dover Books on Mathematics)
  • paperback
  • 336 Seiten
  • Erschienen 1999
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Logic (Dover Books on Mathematics)
Suppes, Patrick
9,38 € 16,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Model Theory (Studies in Logic and Foundations of Mathematics Ser. : Vol 73)
  • paperback
  • 566 Seiten
  • Erschienen 1977
  • North-Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theory (Studies in Logic and Foundations...
Keisler, H. Jerome
9,36 € 38,79 €
Details