SKOLKOVO Library

SKOLKOVO School of Management

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (Record no. 4705)

000 -LEADER
fixed length control field 00435nam a22001217a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220211b ||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781680838985
245 ## - TITLE STATEMENT
Title Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
260 ## - PUBLICATION INFORMATION
Publisher NOW publisher
Date 2021
700 ## - ADDED PERSONAL NAME
Added personal author Sean B. Holden
856 ## - ONLINE RESOURCE
Uniform Resource Identifier https://drive.google.com/file/d/1dNTYinMx8e8RWRP7nLAX8L8eB1zrMC-t/view?usp=sharing
Public note Full-text here
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Item type Book
Suppress in OPAC Do not suppress in OPAC
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent location Current location Shelving location Date acquired Full call number Barcode Date last seen Price effective from Koha item type
          Skoltech library Skoltech library Shelves 2022-12-27 QA267 .H15 2000008811 2022-12-27 2022-12-27 Book