Cargando…

Two-Level Functional Languages

Detalles Bibliográficos
Autores principales:	Nielson, Flemming, Nielson, Hanne Riis
Lenguaje:	eng
Publicado:	Cambridge Univ. 2005
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/847176

Ejemplares similares

Scientific visualization the visual extraction of knowledge from data
por: Bonneau, Georges-Pierre, et al.
Publicado: (2006)

Coordination models and languages: 21st IFIP WG 6. 1 international conference, COORDINATION 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
por: Riis Nielson, Hanne, et al.
Publicado: (2019)

Static analysis: 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, proceedings
por: Riis Nielson, Hanne, et al.
Publicado: (2007)

An introduction to the language of mathematics
por: Mynard, Frédéric
Publicado: (2018)

Handbook of formal languages
por: Rozenberg, Grzegorz, et al.
Publicado: (1997)

The visual language of technique
por: Cocchiarella, Luigi
Publicado: (2015)

Logic, language and computation
por: Akama, Seiki
Publicado: (1997)

Calculus: the language of change
por: Stroyan, Keith D
Publicado: (1998)

Workshop on Semigroups and Languages
por: Araujo, Isabel M, et al.
Publicado: (2004)

Automata, languages, and machines
por: Eilenberg, Samuel, et al.
Publicado: (1974)

Notes on Mathematical Language: Development Strings, Development Patterns, String Theory and Conditions Language
por: Struck, James T
Publicado: (2003)

The Welsh language in the digital age
por: Rehm, Georg, et al.
Publicado: (2014)

The Lithuanian language in the digital age
por: Rehm, Georg, et al.
Publicado: (2012)

The Latvian language in the digital age
por: Rehm, Georg, et al.
Publicado: (2012)

The Croatian language in the digital age
por: Rehm, Georg, et al.
Publicado: (2012)

The Estonian language in the digital age
por: Rehm, Georg, et al.
Publicado: (2012)

The Serbian language in the digital age
por: Rehm, Georg, et al.
Publicado: (2012)

Modeling languages in mathematical optimization
por: Kallrath, Josef
Publicado: (2004)

Advances in algorithms, languages, and complexity
por: Du, Ding-Zhu, et al.
Publicado: (1997)

An introduction to the language of category theory
por: Roman, Steven
Publicado: (2017)

The geometrical language of continuum mechanics
por: Epstein, Marcelo
Publicado: (2010)

Language, truth and logic in mathematics
por: Hintikka, Jaakko
Publicado: (1998)

Projects for calculus: the language of change
por: Stroyan, Keith D
Publicado: (1999)

The Greek Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The Bulgarian Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The Icelandic Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The Hungarian Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The Irish Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The Maltese Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The English Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The Czech Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The French Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The Basque Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The Galician Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The Polish Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The Spanish Language in the Digital Age
por: Rehm, Georg, et al.
Publicado: (2012)

The syntax and semantics of infinitary languages
por: Barwise, Jon
Publicado: (1968)

Networks in society: links and language
por: Bossomaier, Terry R J, et al.
Publicado: (2013)

Language and culture in mathematical cognition
por: Berch, Daniel B, et al.
Publicado: (2018)

Language, logic, and mathematics in Schopenhauer
por: Lemanski, Jens
Publicado: (2020)

Cannot write session to /tmp/vufind_sessions/sess_hev6h03j12c2ka1b2u7tjmjqh8