Title : Higher-Order Theorem Proving and its Applications
Language : English
Author, co-author : Steen, Alexander [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date : Aug-2019
Journal title : IT-Information Technology
Publisher : De Gruyter
Volume : 61
Issue/season : 4
Pages : 187-191
Peer reviewed : Yes
Audience : International
ISSN : 1611-2776
e-ISSN : 2196-7032
City : Berlin
Country : Germany
Target : Researchers ; General public
Permalink : http://hdl.handle.net/10993/40250
DOI : 10.1515/itit-2019-0001
Other URL : https://www.degruyter.com/view/j/itit.ahead-of-print/itit-2019-0001/itit-2019-0001.xml