Logo Regione Toscana

biblio toscana
Cerca

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 740-760 di 2094

testo

Graph-theoretic concepts in computer science

28th international workshop, WG 2002, : revised papers

  • International workshop on graph- theoretic concepts in computer science 28. Cesky Krumlov, Czech Republic 2002
testo

Boolean algebras

  • Sikorski, Roman
testo

Logical dilemmas

the life and work of Kurt Gödel

  • Dawson, John
testo

From Dedekind to Gödel

essays on the development of the foundations of mathematics

  • Hintikka, Jaakko
testo

Computable set theory

1

  • Cantone, Domenico
testo

Application and theory of Petri nets 2002

23rd international conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings

  • International conference on application and theory of Petri Nets 23. Adelaide 2002
testo

Model theory

  • Hodges, Wilfrid
testo

Algorithmically definable functions

(a contribution towards the semantics of programming languages)

  • Blikle, Andrzej

Risultati 740-760 di 2094

Seguici su Twitter

I Nostri Social