Jagiellonian Digital Library contains 894 315 digital objects
Search for: [Subject and Keywords = teoria informatyki] OR [Subject and Keywords = automatyczne wnioskowanie] OR [Subject and Keywords = automatyczne dowodzenie twierdzeń] OR [Subject and Keywords = sztuczna inteligencja] OR [Subject and Keywords = logika w informatyce] OR [Subject and Keywords = programowanie logiczne] OR [Title = Logical Methods in Computer Science]
Number of results: 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
Harari, Yuval Noah (1976- ) Romanek, Michał (1969- ). Tł.
2018
książka
Kufel, Jakub (medycyna). Red. Lewandowski, Piotr (medycyna). Red.
2023.09
e-książka
