Computer logic.
Overview
Works: | 3 works in 0 publications in 0 languages |
---|
Titles
Computation, logic, games, and quantum foundations : = the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday /
by:
(Language materials, printed)
Automated reasoning and mathematics : = essays in memory of William W. McCune /
by:
(Language materials, printed)