1
0
0
(1 - 30 von 50
)
[(Advances in Intelligent Data Analysis: v. 5: 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August , 2003, Proceedings)] [by: Frank Pfenning]
von Frank Pfenning, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2003, Taschenbuch
Foundations of Software Science and Com…tion Structures. 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March , 2013, Proceedings
von FRANK PFENNING, Springer, 2013, Taschenbuch
Frank Pfenning (Author of Logic Programming and Automated Reasoning)
www.goodreads.com
Frank Pfenning is the author of Constructive Logic (0.0 avg rating, 0 ratings, 0 reviews), Logic Programming and Automated Reasoning (0.0 avg rating, 0 r...
Generative Programming and Component Engineering ...www.bokklubben.no › produkt
www.bokklubben.no
Frank Pfenning (Redaktør) ; Yannis Smaragdakis (Redaktør). Serie: Lecture Notes in Computer Science · Generative Programming and Component ...
bokus.com: Frank Pfenning - Böcker | Bokus bokhandel
Köp böcker av Frank Pfenning: Term Rewriting and Applications; Advances in Intelligent Data Analysis V; Logic Programming and Automated Reasoning m.fl.
adlibris.com: frank pfenning | Adlibris
Hos Adlibris hittar du miljontals böcker och produkter inom frank pfenning Vi har ett brett sortiment av böcker, garn, leksaker, pyssel, sällskapsspel,...
Advances in Intelligent Data Analysis V von Frank Pfenning ...
www.buecher.de
We are glad to present the proceedings of the 5th biennial conference in the Intelligent Data Analysis series. The conference took place in Berlin, Germany, August ,
Books by Frank Pfenning - Dymocks
www.dymocks.com.au
Find the latest Frank Pfenning books and products at Dymocks online bookstore.
Automated Deduction - CADE-15: 15th International Conference ...books.google.de › books
books.google.de
[MP91] Spiro Michaylov and Frank Pfenning. Natural semantics and some of its meta- theory in Elf. In L.-H. Eriksson, L. Hallnas, and P. Schroeder-Heister, ...
Automated Deduction - CADE-16: 16th International Conference on...
books.google.de
This book constitutes the refereed proceedings of the 16th International Conference on Automated Deduction, CADE-16, held in Trento, Italy in July as part...
Generative Programming and Component Engineering: Second...
books.google.de
Second International Conference, GPCE 2003, Erfurt, Germany, September , 2003, Proceedings Frank Pfenning, Germany) Gpce 200 (2003 Erfurt Yannis ...
Types in Logic Programming : Frank Pfenning :
www.bookdepository.com
Types in Logic Programming by Frank Pfenningavailable at Book Depository with free delivery worldwide.
Generative Programming and Component Engineering von Frank ...
www.lehmanns.de
Generative Programming and Component Engineering von Frank Pfenning, Yannis Smaragdakis (ISBN ) bestellen. Schnelle Lieferung, auch auf Rechnung - lehmanns.de
bokus.com: Automated Deduction - CADE Frank Pfenning - Häftad...
Köp Automated Deduction - CADE-21 av Frank Pfenning. Skickas inom vardagar. Fri frakt över 199 kr. Välkommen till Bokus bokhandel!
Automated Deduction - CADE 21 von Frank Pfenning (Volume ed.) -...
www.buecher.de
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the...
Frank Pfenning on Apple Books
books.apple.com
Preview and download books by Frank Pfenning, including Automated Deduction – CADE-21.
Higher Order Logic Theorem Proving and Its Applications: 6th...
books.google.de
This volume constitutes the refereed proceedings of the Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August...
Proof Theory in Computer Science: International Seminar, PTCS
books.google.de
... State) Tobias Nipkow (München) Frank Pfenning (Pittsburgh) Peter Schroeder-Heister (Tübingen) Robert Stärk (Zürich) Additional Reviewers Steve Bellantoni ...
Automated Deduction - CADE-21: 21st International Conference on...
books.google.de
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the...
bokus.com: Logic Programming and Automated Reasoning - Frank Pfenning - Häftad...
Pris: kr. Häftad, Skickas inom vardagar. Köp Logic Programming and Automated Reasoning av Frank Pfenning på Bokus.com.
Generative Programming and Component Engineering von ...
www.buecher.de
This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September , 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies.
Frank Pfenning | Papers With Codepaperswithcode.com › author › fra...
paperswithcode.com
Frank Pfenning. Author page based on publicly available paper data. 1. papers with code. 1. papers. 0. results ...
Automated Reasoning: Third International Joint Conference, IJCAR
books.google.de
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August The...
Informatik und Mathematik - Google Books
books.google.de
Dieser Band dokumentiert ein Kolloquium mit dem Titel
Logical Frameworks - Google Books
books.google.de
Conceived and written by Peter Greenaway, the series The Historians--to be published in a literary form, in its entirety, in 100 volumes, over the next ten...
Term Rewriting and Applications von Frank Pfenning (ed.) - Fachbuch -...
www.buecher.de
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA,...
Pfenning, Frank - LC Linked Data Service: Authorities and...
id.loc.gov
The Linked Data Service provides access to commonly found standards and vocabularies promulgated by the Library of Congress. This includes data values and the...
Term Rewriting and Applications: 17th International Conference, RTA...
books.google.de
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA,...
Automated Deduction - CADE-16: 16th International Conference ...books.google.com › books
books.google.de
Gilles Dowek, Thér`ese Hardin, Claude Kirchner, and Frank Pfenning. UniHHP93. Pfe. Pfe91. Pfe94. Pfe96. PS98. RP96. SP98. fication via explicit substitutions: ...
Structural Cut Elimination in Linear Logic - Frank Pfenning - Google...
books.google.com.ua
Abstract:
Verwandte Suchanfragen zu Frank Pfenning
Amal Ahmed Martin Baker Carmen Walter | Andreas Kehrel Tina Aakerlund Claudia Grau | Angelika Reith Ulrike Schüßler-Leiser |
Person "Pfenning" (2) Vorname "Frank" (79403) Name "Pfenning" (256) |
sortiert nach Relevanz / Datum