Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 20-40 di 2094

Descriptive complexity

Neil Immerman

  • Immerman, Neil

Spectra of graphs

theory and application

  • Cvetkovic, Dragos M.

What computing is all about

  • Snepscheut, Jan L.A. van de

Twenty-five years of constructive type theory

proceedings of a congress held in Venice, october 1995

Graph theory and its applications

proceedings of an Advanced Seminar conducted by the Mathematics Research Center, United States Army, at the University of Wisconsin, Madison, October 13-15, 1969

Intelligenza e vita

logica fuzzy, fisica qualitativa, algoritmi genetici, apprendimento automatico, reti neurali

  • Mazzetti, Alessandro

Opere

  • Casorati, Felice matematico <1835-1890>

Il computer di Platone

alle origini del pensiero logico e matematico

  • Borzacchini, Luigi

Kreiseliana

about and around Georg Kreisel

The incompleteness phenomenon

a new course in mathematical logic

  • Goldstern, Martin

Éléments de mathématique

Fascicule XXII, Théorie des ensembles

  • Bourbaki, Nicolas

The slide rule

principles and applications

  • Arnold, Joseph Norman