Proceedings of the 1st and 2nd Vampire Workshops
Book, 2016
logic
automated reasoning
theorem proving
Author
Laura Kovacs
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Andrei Voronkov
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Areas of Advance
Information and Communication Technology
Subject Categories
Computer Science