Object

Planned object

Title: Konstruowanie systemów wnioskujących klasy lean dla logiki pierwszego rzędu

Object collections:

Last modified:

Apr 3, 2017

All available object's versions:

http://repozytorium.put.poznan.pl/publication/506702

Show description in RDF format:

RDF

Edition name Date

This page uses 'cookies'. More information