VSL 2014: VIENNA SUMMER OF LOGIC 2014

The TPTP Process Instruction Language, with Applications

Author: Geoff Sutcliffe

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:The TPTP Process Instruction Language, with Applications
Authors:Geoff Sutcliffe
Proceedings:UITP 2014 Proceedings
Editors: Bruno Woltzenlogel Paleo and Christoph Benzmüller
Keywords:
Abstract:
Pages:1
Talk:Jul 17 09:15
Paper:
Disclaimer | Powered by EasyChair Smart Program