Patricia Johann – författare
Visar alla böcker från författaren Patricia Johann. Handla med fri frakt och snabb leverans.
4 produkter
Deduction Systems
Av Patricia Johann, Rolf Socher-Ambrosius
E-bok, 2012
708 kr
Lägg i varukorg
The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this purpose. But it was not until the appearance of Frege''s 1879 Begriffsschrift-"not only the direct ancestor of contemporary systems of mathematical …
Deduction Systems
Av Rolf Socher-Ambrosius, Patricia Johann
Häftad, 2011
566 kr
Lägg i varukorg
The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this purpose. But it was not until the appearance of Frege's 1879 Begriffsschrift-"not only the direct ancestor of contemporary systems of mathematical …
Logic, Language, Information, and Computation
32nd International Workshop, WoLLIC 2026, Lima, Peru, August 3–6, 2026, Proceedings
Av Patricia Johann, Ruy de Queiroz
Häftad, 2026
724 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 32nd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2026, in Lima, Peru, during August 3-6, 2026.The 9 full papers included …
Logic, Language, Information, and Computation
32nd International Workshop, WoLLIC 2026, Lima, Peru, August 3-6, 2026, Proceedings
Av Ruy de Queiroz, Patricia Johann
E-bok, 2026
985 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 32nd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2026, in Lima, Peru, during August 3-6, 2026.The 9 full papers included …
