Agent-Based HOL Reasoning

Reference : Agent-Based HOL Reasoning


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/40843

Title :	Agent-Based HOL Reasoning
Language :	English
Author, co-author :	Steen, Alexander [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
	Wisniewski, Max [Freie Universität Berlin]
	Benzmüller, Christoph [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Publication date :	Jul-2016
Main document title :	Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings
Editor :	Greuel, GM
	Koch, T
	Paule, P
	Sommese, A
Publisher :	Springer
Collection and collection volume :	LNCS, Vol. 9725
Pages :	75-81
Peer reviewed :	Yes
On invitation :	No
Audience :	International
ISBN :	978-3-319-42431-6
City :	Berlin, Germany
Event name :	5th International Congress on Mathematical Software
Event date :	July 11 to July 14, 2016
Event place (city) :	Berlin
Event country :	Germany
Keywords :	[en] Higher Order Logic ; Automated Reasoning ; LEO Prover
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/40843
DOI :	10.1007/978-3-319-42432-3_10
Other URL :	https://link.springer.com/chapter/10.1007%2F978-3-319-42432-3_10

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	C56.pdf		Author preprint	280.51 kB	View/Open

All documents in ORBi^lu are protected by a user license.