Konstruowanie systemów wnioskujących klasy Lean dla logiki pierwszego rzędu

Adam Meissner

System Informacji Naukowej Politechniki Poznańskiej

Strona główna / Publikacje / Konstruowanie systemów wnioskujących klasy Lean dla logiki pierwszego rzędu

Zgłoś uwagę

Książka

Tytuł

Konstruowanie systemów wnioskujących klasy Lean dla logiki pierwszego rzędu

Autorzy

Adam Meissner (WE) ^{[ 1 ][ P ]}

^{[ 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

Wydawnictwo Politechniki Poznańskiej

Wydawca z listy MNiSW

Politechnika Poznańska

Data opublikowania

2016

Liczba stron

204

ISBN

978-83-7775-413-9

ISSN

0551-6528

Katalog

xx003946171

Opublikowano w

Seria: Rozprawy / Politechnika Poznańska

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ć do SIN

Aktualizacja punktacji w SIN

Zgodnie z Rozporządzeniem Ministra Nauki i Szkolnictwa Wyższego z dnia 31 lipca 2020 r. zmieniającym rozporządzenie w sprawie ewaluacji jakości działalności naukowej w SIN zaktualizowana została punktacja artykułów naukowych opublikowanych w l. 2017-2018.