Title
Konstruowanie systemów wnioskujących klasy Lean dla logiki pierwszego rzędu
Authors
[ 1 ] Instytut Automatyki i Inżynierii Informatycznej, Wydział Elektryczny, Politechnika Poznańska | [ P ] employee
Year of publication
2016
Book type
scientific monograph / Habilitation
Publication language
polish
Place
Poznan, Poland
Publisher name
Publisher name from the Ministry list
Politechnika Poznańska
Date of publication
2016
Number of pages
204
ISBN
978-83-7775-413-9
ISSN
0551-6528
Catalog
Published in
Book series: Rozprawy / Politechnika Poznańska
Number in series
nr 538
System created by Poznań University of Technology
and Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS