Processing may take a few seconds...

Book


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

Wydawnictwo Politechniki Poznańskiej

Publisher name from the MNiSW list

Politechnika Poznańska

Date of publication

2016

Number of pages

204

ISBN

978-83-7775-413-9

ISSN

0551-6528

Catalog

xx003946171

Published in

Book series: Rozprawy / Politechnika Poznańska

Number in series

nr 538

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.