Caulfield, Benjamin.

概要

作品:	1 作品在 0 項出版品 0 種語言

書目資訊

Learning and Logic for Formal Synthesis. by: Caulfield, Benjamin.; University of California, Berkeley., Electrical Engineering & Computer Sciences. (書目-電子資源)

主題

Logic. Active learning. Maps. Variables. Algorithms. Advisors. Grammar. Queries. Computer science. Syntax. Neural networks. Apologies. Artificial intelligence.