Mathematical reasoning with diagrams : from intuition to automation

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://www.productontology.org/id/Thesis

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/323373015#Topic/automatisches_beweisverfahren
http://experiment.worldcat.org/entity/work/data/323373015#Topic/mathematiques_methodes_graphiques
http://experiment.worldcat.org/entity/work/data/323373015#Topic/wiskunde
http://id.worldcat.org/fast/822777
http://id.loc.gov/authorities/subjects/sh85010111
http://experiment.worldcat.org/entity/work/data/323373015#Topic/theoremes_demonstration_automatique
http://experiment.worldcat.org/entity/work/data/323373015#Topic/matematicas_tablas_graficos_etc
http://experiment.worldcat.org/entity/work/data/323373015#Topic/logica_simbolica
http://id.worldcat.org/fast/1012163
http://id.worldcat.org/fast/970742
http://experiment.worldcat.org/entity/work/data/323373015#Topic/logique_mathematique
http://experiment.worldcat.org/entity/work/data/323373015#Topic/automatische_bewijsvoering
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/323373015#Topic/sprachlogik
http://experiment.worldcat.org/entity/work/data/323373015#Topic/dimostrazione_automatica_di_teoremi
http://experiment.worldcat.org/entity/work/data/323373015#Topic/diagrammatisches_schliessen
http://experiment.worldcat.org/entity/work/data/323373015#Topic/logica_simbolica_y_matematica
http://id.worldcat.org/fast/1002068
http://id.loc.gov/authorities/subjects/sh85065806
http://id.loc.gov/authorities/subjects/sh85082143

http://schema.org/author

http://worldcat.org/entity/person/id/2634751273

http://schema.org/creator

http://worldcat.org/entity/person/id/2634751273

http://schema.org/editor

http://worldcat.org/entity/person/id/2634751273

http://schema.org/genre

"Charts, diagrams, etc"@en
"Charts, diagrams, etc"

http://schema.org/name

"Mathematical reasoning with diagrams"
"Mathematical reasoning with diagrams : from intuition to automation"@en
"Mathematical reasoning with diagrams : from intuition to automation"

http://schema.org/workExample

http://www.worldcat.org/oclc/248905985
http://www.worldcat.org/oclc/441175716
http://www.worldcat.org/oclc/48221379
http://www.worldcat.org/oclc/644991167
http://www.worldcat.org/oclc/783070458
http://www.worldcat.org/oclc/469966312
http://www.worldcat.org/oclc/606230123
http://www.worldcat.org/oclc/48195789
http://www.worldcat.org/oclc/801322773

Automatische bewijsvoering.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Automatische bewijsvoering."