Conditional and preferential logics : proof methods and theorem proving /

Podtytuł:: proof methods and theorem proving /
Autor:: Pozzato, Gian Luca.
Hasło dodatkowe:: IOS Press.
Odpowiedzialność:: Gian Luca Pozzato.
Miejsce:: Amsterdam [etc.] :
Wydany przez :: IOS Press,
w roku:: cop. 2010.
Opis fizyczny:: VIII, 200 s. : il. ; 25 cm.
Seria:: (Frontiers in Artificial Intelligence and Applications ISSN 0922-6389 208)
(Frontiers in Artificial Intelligence and Applications, 0922-6389 ; vol. 208)
Uwagi:: Bibliogr. s. 193-200.
ISBN:: 978-1-60750-094-0 (print)
UKD:: 164:162:510.6:007.3]=111

Dopowiedzenie klasyfikacji (UKD):: Logistyka. Rachunek logiczny. Logika formalna. Logika symboliczna. Znaki i symbolika w logice formalnej. Podstawowe formuły i prawa logiczne. Rachunek zdań. Logika relacji.
=Język angielski.
Hasła przedmiotowe:
Rodzaj dokumentu:: Książka

Tylko dostępne

Egzemplarz
miejsce	numer inwentarzowy	sygnatura	status	data zwrotu	ostatnia akcja w systemie	akcje
T T.15624 krótkoterminowe	T.15624	Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.15624	krótkoterminowe		17/03/2014	Zamów