Can a Higher-Order and a First-Order Theorem Prover Cooperate? release_vllvzeicvbdixmzafcjhtee7ca

by Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2005   p415-431

Archived Files and Locations

application/pdf  257.7 kB
file_b7bcma2ujnhejay3pie4k4ue4a
web.archive.org (webarchive)
page.mi.fu-berlin.de (web)
www.ags.uni-sb.de (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2005
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: ae188446-3685-4c12-863b-b0f719742602
API URL: JSON