From insight to proof
Subtitle: festschrift in honour of Andrzej Trybulec
By: guest editors, Roman Matuszewski, Anna Zalewska.
Contributors: Trybulec, Andrzej.; Matuszewski, Roman.; Zalewska, Anna.
Series: Studies in logic, grammar, and rhetoric -- 10(23)
Publisher: University of Białystok
Published: 2007
Place of publication: Białystok
Language: eng
Number of pages: 399
ISBN-13: 9788374311281
Subjects: Mathematics -- Data processing; Automatic theorem proving; Mathematical linguistics
Notes: Includes bibliographical references.