Number of the records: 1
Automated theorem proving
Title Automated theorem proving Author Bibel W. Issue data Braunschweig : F. Vieweg & Sohn Verlagsgesellschaft mbH , 1982. - xiii, 292 p. Language eng - English Country DE - Germany ISBN 3-528-08520-7 Copy count 1, currently available 0, at library only 1 Document kind monografie 
book
Call number Location Sublocation Info 22423 Ústav informatiky SAV In-Library Use Only
Number of the records: 1