Konrad Slind und International Conference - Info zur Person

(1 - 10 von 21

)

Theorem Proving in Higher Order Logics: 17th International...

www.barnesandnoble.com

Available in: Paperback.This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004

Theorem Proving in Higher Order Logics von …

www.buecher.de

This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September , in Park City, Utah, USA.

Automated Deduction - CADE-17: 17th International Conference on...

books.google.de

Konrad Slind. Function definition in higher order logic. In Theorem Proving in Higher Order Logics, number in Lecture Notes in Computer Science, Abo, ...

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...

Search results for "Annette Bunker" – FacetedDBLP

dblp.l3s.uni-hannover.de

Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.) Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, …

"Konrad Slind" download for free. Electronic library. Finding books...

en.booksee.org

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September , 2004, Proceedings (Lecture ...

A Program Logic for Resource Verification — …

www.tcs.ifi.lmu.de

A Program Logic for Resource Verification. In: Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September , 2004, Proceedings, ed. by Konrad Slind and Annette Bunker and Ganesh Gopalakrishnan, vol , pp , Springer. Lecture Notes in Computer Science (ISBN: ).

Personen
Vorname "Konrad" (10839)
Name "Slind" (2)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Konrad Slind und International Conference Person-Info

Theorem Proving in Higher Order Logics: 17th International...

Theorem Proving in Higher Order Logics von …

Automated Deduction - CADE-17: 17th International Conference on...

Automated Deduction - CADE-21: 21st International Conference on...

Search results for "Annette Bunker" – FacetedDBLP

"Konrad Slind" download for free. Electronic library. Finding books...

A Program Logic for Resource Verification — …

Aleksey Nogin's Publications

HILT Program Committee

Lennart Beringer

Alle Infos zum Namen "Konrad Slind"