Obiekt

Tytuł: Automatyczne dowodzenie twierdzeń

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

2010-08-24

Data dodania obiektu:

2010-05-25

Liczba wyświetleń treści obiektu:

251

Liczba wyświetleń treści obiektu w formacie PDF

234

Wszystkie dostępne wersje tego obiektu:

https://bcpw.bg.pw.edu.pl/publication/1659

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji