VSL 2014: VIENNA SUMMER OF LOGIC 2014

Structured Search and Learning

Author: Kenneth McMillan

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Structured Search and Learning
Authors:Kenneth McMillan
Proceedings:IJCAR 2014 LNCS proceedings
Editors: Stéphane Demri, Deepak Kapur and Christoph Weidenbach
Keywords:
Abstract:
Pages:2
Talk:Jul 22 10:45
Paper:
Disclaimer | Powered by EasyChair Smart Program