Heuristické aspekty automatického dokazování vět

Saved in:
Bibliographic Details
Main Author: Štědroň, Bohumír, 1948- (Author) 
Format: Book
Published: Praha : b. t., 1977
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image
Status Sublibrary Description Location LCC Callnumber Old Callnumber
In storage; not for loan NTK collection Closed Stack II 280865