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
Wydawca z listy MNiSW
Politechnika Poznańska
Data opublikowania
2016
Liczba stron
204
ISBN
978-83-7775-413-9
Katalog
Opublikowano w
Numer w serii
nr 538
System tworzony przez Politechnikę Poznańską
i Poznańskie Centrum Superkomputerowo-Sieciowe
Wróć do góry
Zaloguj się przez eKonto, aby dodać publikacje