Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings - MaRDI portal

Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings

From MaRDI portal

Publication:1364421

Jump to:navigation, search

DOI10.1007/BFb0028381zbMath0870.00024MaRDI QIDQ1364421

No author found.

Publication date: 4 September 1997

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Conference Proceedings Higher order logics Murray Hill, NJ (USA)TPHOLs '97

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (1)

Local Theory Specifications in Isabelle/Isar

This page was built for publication: Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1364421&oldid=13503305"