8 treff

modellteori notrbib real010688
Asymptotic differential algebra and model theory of transseries
Matthias Aschenbrenner, Lou van den Dries...
Bok Engelsk 2017 · Vis mer
Model theory : an introduction
David Marker
Bok Engelsk 2002 · Vis mer
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
VMCAI 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Towards the principles of designing diagrammatic modeling languages : some visual, cognitive and foundational aspects
by M. Naci Akkøk
Bok Engelsk 2004 · Vis mer
Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
VMCAI 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
VMCAI 2002
Bok Engelsk 2002 · Vis mer
Advanced conceptual modeling techniques : ER 2002 workshops, ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002 : revised papers
Marcela Genero ... [et al.] (eds.)
Bok Engelsk 2003 · Vis mer
Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
U.S.-Israel Workshop on Model Theory in Mathematical Logic
Bok Språk ikke angitt 1987 · Vis mer