Yazar
Mateja Jamnik
4 cilt bulundu.
Cilt sonuçları
Mathematical reasoning with diagrams
Mateja Jamnik · CSLI
204 sayfa · 2001
Automatic theorem proving / Automatische bewijsvoering / Charts, diagrams / Charts, diagrams, etc / Logic, Symbolic and mathematical
Diagrammatic Representation and Inference
Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz · Springer
320 sayfa · 2010
Graphic methods / Visual communication / Computer graphics
