Jagiellońska Biblioteka Cyfrowa udostępnia 899 933 obiektów cyfrowych
Szukana fraza: [Temat i słowa kluczowe = teoria informatyki] lub [Temat i słowa kluczowe = automatyczne wnioskowanie] lub [Temat i słowa kluczowe = automatyczne dowodzenie twierdzeń] lub [Temat i słowa kluczowe = sztuczna inteligencja] lub [Temat i słowa kluczowe = logika w informatyce] lub [Temat i słowa kluczowe = programowanie logiczne] lub [Tytuł. = Logical Methods in Computer Science]
Wyników: 51
Porębska, Małgorzata Suchoń, Wojciech
1996
książka
Marchlewska, Alina Opoka, Joanna (1974- ). Kier. projektu Urbańska-Grzyb, Ilona. Red. Krowieranda, Piotr. Oprac. Graczyk, Joanna. Il. Fidyk, Łukasz. Il. Kieszek, Mariusz. Program
2004?
e-książka
Penrose, Roger (1931- ) Amsterdamski, Piotr (1955-2008). Tł.
1996
książka
Maurer, Hermann Granitzer, Michael Kulathuramaiyer, Narayanan
1994-
strona naukowa
Kufel, Jakub (medycyna). Red. Lewandowski, Piotr (medycyna). Red.
2023.09
e-książka
