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.

Rozdział

Pobierz BibTeX

Tytuł

A simple tableau-based parallel reasoning system for first-order logic

Autorzy

[ 1 ] Instytut Automatyki i Inżynierii Informatycznej, Wydział Elektryczny, Politechnika Poznańska | [ P ] pracownik

Rok publikacji

2007

Typ rozdziału

referat

Język publikacji

angielski

Strony (od-do)

47 - 52

Książka

Proceedings of CMS'07 : Computer Methods and Systems

Zaprezentowany na

VI Conference Computer Methods and Systems, CMS'07, 21-23.11.2007, Krakow, Poland

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.