Zur Startseite gehen
0,00 €*
Cover: 9780521879408 | Programming with Higher-Order Logic | Gopalan Nadathur | Buch | 2012
Dekorationsartikel gehören nicht zum Leistungsumfang.
Programming with Higher-Order Logic
Buch von Gopalan Nadathur
Sprache: Englisch

71,35 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.
Über den Autor
Dale Miller is currently Director of Research at INRIA-Saclay where he is the Scientific Leader of the Parsifal team. He has been a professor at the University of Pennsylvania, Pennsylvania State University and the École Polytechnique, France. Miller is the Editor-in-Chief of the ACM Transactions on Computational Logic and has editorial duties on several other journals. He was awarded an ERC Advanced Investigators Grant in 2011 and is the recipient of the 2011 Test-of-Time award of the IEEE Symposium on Logic in Computer Science. He works on many topics in the general area of computational logic, including automated reasoning, logic programming, proof theory, unification theory, operational semantics and, most recently, proof certificates.
Inhaltsverzeichnis
1. First-order terms and representations of data; 2. First-order horn clauses; 3. First-order hereditary Harrop formulas; 4. Typed lambda terms and formulas; 5. Using quantification at higher-order types; 6. Mechanisms for structuring large programs; 7. Computations over ¿-terms; 8. Unification of ¿-terms; 9. Implementing proof systems; 10. Computations over functional programs; 11. Encoding a process calculus language; Appendix: the Teyjus system.
Details
Erscheinungsjahr: 2012
Fachbereich: Programmiersprachen
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521879408
ISBN-10: 052187940X
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Nadathur, Gopalan
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 235 x 157 x 22 mm
Von/Mit: Gopalan Nadathur
Erscheinungsdatum: 06.09.2012
Gewicht: 0,621 kg
Artikel-ID: 106615553
Über den Autor
Dale Miller is currently Director of Research at INRIA-Saclay where he is the Scientific Leader of the Parsifal team. He has been a professor at the University of Pennsylvania, Pennsylvania State University and the École Polytechnique, France. Miller is the Editor-in-Chief of the ACM Transactions on Computational Logic and has editorial duties on several other journals. He was awarded an ERC Advanced Investigators Grant in 2011 and is the recipient of the 2011 Test-of-Time award of the IEEE Symposium on Logic in Computer Science. He works on many topics in the general area of computational logic, including automated reasoning, logic programming, proof theory, unification theory, operational semantics and, most recently, proof certificates.
Inhaltsverzeichnis
1. First-order terms and representations of data; 2. First-order horn clauses; 3. First-order hereditary Harrop formulas; 4. Typed lambda terms and formulas; 5. Using quantification at higher-order types; 6. Mechanisms for structuring large programs; 7. Computations over ¿-terms; 8. Unification of ¿-terms; 9. Implementing proof systems; 10. Computations over functional programs; 11. Encoding a process calculus language; Appendix: the Teyjus system.
Details
Erscheinungsjahr: 2012
Fachbereich: Programmiersprachen
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521879408
ISBN-10: 052187940X
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Nadathur, Gopalan
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 235 x 157 x 22 mm
Von/Mit: Gopalan Nadathur
Erscheinungsdatum: 06.09.2012
Gewicht: 0,621 kg
Artikel-ID: 106615553
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780521617932 | Intro Clust Large High Dimens Data | Jacob Kogan | Taschenbuch | 2007
Intro Clust Large High Dimens Data
EAN: 9780521617932
Sprache: Englisch
Von/Mit: Jacob Kogan

53,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781484217443 | Broken Agile | Second Edition | Tim J. Brizard | Taschenbuch | ix
Broken Agile
Second Edition
EAN: 9781484217443
Sprache: Englisch
Von/Mit: Tim J. Brizard

22,60 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781849698429 | Mastering Sublime Text | Dan Peleg | Taschenbuch | Paperback | 2013
Mastering Sublime Text
EAN: 9781849698429
Sprache: Englisch
Von/Mit: Dan Peleg

41,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781430253617 | Holub on Patterns | Learning Design Patterns by Looking at Code | Buch
Holub on Patterns
Learning Design Patterns by Looking at Code
EAN: 9781430253617
Sprache: Englisch
Von/Mit: Allen Holub

63,80 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781461278276 | The Craft of Text Editing | Emacs for the Modern World | Finseth | xii
The Craft of Text Editing
Emacs for the Modern World
EAN: 9781461278276
Sprache: Englisch
Von/Mit: Craig A. Finseth

47,95 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781849518048 | Mastering Openframeworks | Creative Coding Demystified | Yanc (u. a.)
Mastering Openframeworks
Creative Coding Demystified
EAN: 9781849518048
Sprache: Englisch
Von/Mit: Chris Yanc (u. a.)

60,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781783552481 | Learning D | Michael Parker | Taschenbuch | Englisch | 2015
Learning D
EAN: 9781783552481
Sprache: Englisch
Von/Mit: Michael Parker

68,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781484230893 | Beginning Progressive Web App Development | Dennis Sheppard | Buch
Beginning Progressive Web App Development
Creating a Native App Experience on the Web
EAN: 9781484230893
Sprache: Englisch
Von/Mit: Dennis Sheppard

59,45 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781784398781 | Python 3 Object-Oriented Programming - Second Edition | Dusty Phillips
Python 3 Object-Oriented Programming - Second Edition
Building robust and maintainable software with object oriented design patterns in Python
EAN: 9781784398781
Sprache: Englisch
Von/Mit: Dusty Phillips

66,20 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783346842053 | Einführung eines ERP-Systems in Unternehmen. Potenziale, Risiken,...
Einführung eines ERP-Systems in Unternehmen. Potenziale, Risiken, Erfahrungsberichte und Empfehlungen
EAN: 9783346842053
Sprache: Deutsch
Von/Mit: Alexander Lenttner

17,95 €*

Lieferzeit 2-4 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...