Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 780-800 di 2094

Eliminating the universe

logical properties of natural language

  • Keenan, Edward Louis 1937-

Categoricity

  • Baldwin, John T.

Proof analysis

a contribution to Hilbert’s last problem

  • Negri, Sara

Modal logic

  • Blackburn, Patrick

Graph-theoretic concepts in computer science

29th international workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003 : revised papers

  • International workshop on graph-theoretic concepts in computer science 29. Elspeet, The Netherlands 2003

Developments in language theory

8th international conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004 : proceedings

  • International conference on developments in language theory 8. Auckland, Nuova Zelanda 2004

Modelli matematici in biologia

introduzione all'ecologia matematica

  • Capelo, Antonio

Quantification theory

  • Faris, John Acheson

La filosofia della matematica di Frege

una restaurazione filosofica, una controrivoluzione scientifica

  • Toth, Imre

The origin of the logic of symbolic mathematics

Edmund Husserl and Jacob Klein

  • Hopkins, Burt C.

Graph-theoretic concepts in computer science

30th international workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004 : revised papers

  • International workshop on graph-theoretic concepts in computer science 30. Bad Honnef, Germany 2004

Elementarmathematik vom höheren Standpunkte aus

III Band, Präzisions- und Approximationsmathematik

  • Klein, Felix

Simulated annealing and Boltzmann machines

a stochastic approach to combinatorial optimization and neural computing

  • Aarts, Emile