Logic and Search (LaSh’14)
2014
Fourth International workshop
on Logic and Search
July 18, 2014
Vienna, Austria
A SAT/ICLP 2014 workshop at FLoC 2014
For details see the
LaSh 2014 Pages
on the Vienna Summer of Logic/FLoC web page.
Sponsor: Simon Fraser University
© Copyright LaSh-2014