Träfflista för sökning "LAR1:liu ;mspu:(book);spr:pol"

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Bolc, Leonard, et al. (författare) Wnioskowanie w logikach nieklasycznych : Podstawy teoretyczne 1995 Bok (övrigt vetenskapligt/konstnärligt)abstract Prezentowana książka stanowi drugi tom dwutomowej monografii poświeconej wnioskowaniu w logikach nieklasycznych. Opracowanie to obejmuje takie formalizmy jak logiki modalne, logiki wielowartościowe i mechanizmy wnioskowania niemonotonicznego. W pierwszym tomie przedstawione zostały podstawy teoretyczne wnioskowania w wybranych logikach nieklasycznych. Tom drugi poświęcony jest zagadnieniom automatyzacji procesu wnioskowania.
2.	Bolc, Leonard, et al. (författare) Wnioskowanie w logikach nieklasycznych : Automatyzacja wnioskowania 1998 Bok (övrigt vetenskapligt/konstnärligt)
3.	Szalas, Andrzej (författare) Zarys dedukcyjnych metod automatycznego wnioskowania 1992 Bok (övrigt vetenskapligt/konstnärligt)

Skapa referenser, mejla, bekava och länka

Författare/redaktör: Szalas, Andrzej (3); Bolc, Leonard (2); Dziewicki, Krzysztof (2); Rychlik, Piotr (2)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Stäng

Kopiera och spara länken för att återkomma till aktuell vy