1
0
0
(1 - 16 von 23
)
Papers by Christoph Kreitz: Automated Deduction
www.cs.uni-potsdam.de
Frank Pfenning Brigitte Pientka Benjamin Pierce John Rushby Stephan Schmitt Mark-Oliver Stehr Tanel Tammet: CADE TABLEAUX FTP CL 2000, Deduction Dagstuhl Conferences ALL Conferences J.IGPL J.UCS JSC Editor Page Studia Logica I&C related Logic Journals: Forschungsführer KI Deduction USA Nuprl Publications The NuPRL book Haskell Pretty Printer
Oxford Information Systems Group
www.cs.ox.ac.uk
In Frank Pfenning, editor, Proc. of the 21st Conference on Automated Deduction (CADE-21), volume of LNAI, pages 67–83, Bremen, Germany, July 17–
Automated Deduction - CADE st International Conference on Automated Deduction, Bremen, Germany, July , 2007, Proceedings
von Frank Pfenning, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2007, Taschenbuch
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!
Frank Pfenning on Apple Books
books.apple.com
Preview and download books by Frank Pfenning, including Automated Deduction – CADE-21.
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, ...
Conservative Extensions in the Lightweight Description Logic EL –...
iccl.inf.tu-dresden.de
Carsten Lutz, Frank Wolter Conservative Extensions in the Lightweight Description Logic EL In Frank Pfenning, eds., Proceedings of the 21th Conference on Automated Deduction (CADE-21), volume of Lecture Notes in Artificial IntelligenceSpringer
Modeling and Analysis of Information Systems » …
www.mais.informatik.tu-darmstadt.de
In Frank Pfenning, editor, Proceedings of the 21st Conference on Automated Deduction (CADE-21), Lecture Notes in Artificial Intelligence, vol , pp. 231–246, Springer-Verlag, Andreas Schlosser, Christoph Walther, Michael Gonder, and Markus Aderhold. Context Dependent Procedures and Computed Types in VeriFun.
Frank Pfenning - Google Scholar
scholar.google.com
Professor of Computer Science, Carnegie Mellon University - citazioni - Programming Languages - Logic - Type Theory - Automated Deduction...
Frank Pfenning - Google Académico
scholar.google.com.au
Professor of Computer Science, Carnegie Mellon University - citações - Programming Languages - Logic - Type Theory - Automated Deduction -...
CADE International Conference on Automated Deduction
conference.imp.fu-berlin.de
- The 25th jubilee edition of the International Conference on Automated Deduction Frank Pfenning (Carnegie Mellon University, USA) David Plaisted
Automated Deduction - CADE-21 door Frank Pfenning - Managementboek.nl
www.managementboek.nl
This volume contains the proceedings of the 21st International Conference on AutomatedDeduction,whichwasheldJuly17–20,2007attheJacobsUniversity in ...
CADE International Conference on Automated Deduction
conference.imp.fu-berlin.de
Frank Pfenning (LFMTP 2015): Decomposing Modalities; Vivek Nigam (LFMTP 2015): A Linear Logic Framework with Subexponentials; Michael Norrish (HOL4 ...
HermiT Reasoner: Publications
www.hermit-reasoner.com
In Frank Pfenning, editor, Proc. of the 21st Conference on Automated Deduction (CADE-21), volume of LNAI, pages , Bremen, Germany, July
Alle Infos zum Namen "Frank Pfenning"
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