W zależności od ilości danych do przetworzenia generowanie pliku może się wydłużyć.

Jeśli generowanie trwa zbyt długo można ograniczyć dane np. zmniejszając zakres lat.

Menu

PL EN
PL EN
Strona główna / Publikacje / Konstruowanie systemów wnioskujących klasy Lean dla logiki pierwszego rzędu
Zgłoś uwagę

Książka

Pobierz BibTeX

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

Wydawnictwo Politechniki Poznańskiej

Wydawca z listy Ministerstwa

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ą oraz Poznańskie Centrum Superkomputerowo-Sieciowe
Szanowni Państwo,

w PBN 26.06.24 zaktualizowana została punktacja czasopism (zgodnie z Wykazem ogłoszonym 5.01.24).
Nadal jednak nie zaktualizowano punktacji konferencji – co więcej, nie jest znany nawet przybliżony termin wdrożenia tej części Wykazu. Widoczna w SIN punktacja jest odzwierciedleniem punktacji w PBN (wymuszają to procedury przesyłu danych o publikacjach), zatem punkty za konferencje widoczne w SIN będą mogły zostać zmienione, dopiero gdy zostaną zaktualizowane w PBN.

Ta strona używa plików Cookies, w celu zapamiętania uwierzytelnionej sesji użytkownika. Aby dowiedzieć się więcej przeczytaj o plikach Cookies i Polityce Prywatności.