Learning-assisted theorem proving with millions of lemmas. (Record no. 25410845)

MARC details
000 -LEADER
fixed length control field 00711 a2200193 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250517061825.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field ####s 0 0 eng d
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER
International Standard Serial Number 0747-7171
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1016/j.jsc.2014.09.032
Source of number or code doi
040 ## - CATALOGING SOURCE
Original cataloging agency NLM
Language of cataloging eng
Transcribing agency NLM
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Kaliszyk, Cezary
245 00 - TITLE STATEMENT
Title Learning-assisted theorem proving with millions of lemmas.
Medium [electronic resource]
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Journal of symbolic computation
Date of publication, distribution, etc. Jul 2015
300 ## - PHYSICAL DESCRIPTION
Extent 109-128 p.
Other physical details digital
500 ## - GENERAL NOTE
General note Publication Type: Journal Article
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Urban, Josef
773 0# - HOST ITEM ENTRY
Title Journal of symbolic computation
Related parts vol. 69
-- p. 109-128
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1016/j.jsc.2014.09.032">https://doi.org/10.1016/j.jsc.2014.09.032</a>
Public note Available from publisher's website

No items available.