Tytuł
Konstruowanie systemów wnioskujących klasy Lean dla logiki pierwszego rzędu
Autorzy
[ 1 ] Instytut Automatyki i Inżynierii Informatycznej, Wydział Elektryczny, Politechnika Poznańska | [ P ] pracownik
Rok publikacji
2016
Typ książki
monografia naukowa (Rozprawa habilitacyjna)
Język publikacji
polski
Miejsce
Poznan, Poland
Data opublikowania
2016
Liczba stron
204
ISBN
978-83-7775-413-9
Katalog
Opublikowano w
Numer w serii
nr 538