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 380-400 di 2094

testo

Set theory

an introduction to independence proofs

  • Kunen, Kenneth
testo

Formal methods

an introduction to symbol logic and to the study of effective operations in arithmetic and logic

  • Beth, Evert W.
testo

La théorie des ensembles de Quine

colloque N.F., Louvain-La-Neuve, 1981

testo

DNA Based Computers V

DIMACS Workshop DNA Based Computers, June 14-15, 1999, Massachusetts Institute of Technology

  • DIMACS Workshop on DNA Based Computers 5th 1999
testo

Unvollständigkeit und Unentscheidbarkeit

die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

  • Stegmüller, Wolfgang
testo

Elementi ed applicazioni pratiche di nomografia

ad uso degl'ingegneri, allievi-ingegneri ed architetti

  • Gorrieri, Domenico
testo

Combinatorial pattern matching

13th annual symposium, CPM 2002, Fukuoka, Japan, July 3-5, 2002 : proceedings

  • Annual symposium on combinatorial pattern matching 13. Fukuoka, Japan 2002
testo

Graph transformations

second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings

  • International conference on graph transformations 2. Roma, Italia 2004
testo

Recursion theory

  • AMS-ASL Summer institute on recursion theory Ithaca, New York 1982

Risultati 380-400 di 2094

Seguici su Twitter

I Nostri Social