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 260-280 di 1074

testo

Mathematical logic

  • ShoenfieldJoseph R.
testo

Spectrum of L

  • Marek, Wiktor
testo

Typed lambda calculi and applications

6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings

  • International conference on typed lambda calculi and applications 6. Valencia, Spain 2003
testo

DNA computing

7th international workshop on DNA-based computers, DNA7 Tampa, FL, USA, June 10-13, 2001 : revised papers

  • International workshop on DNA-based computers 7. Tampa (FL) 2001
testo

Coevolutionary fuzzy modeling

  • Peña Reyes, Carlos Andrés
testo

Theory and applications of satisfiability testing

8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings

  • International conference on theory and applications of satisfiability testing 8. St Andrews, Regno Unito 2005
testo

The logic of preference

an essay

  • Wright, Georg Henrik von
testo

Deduktion

automatisierung der Logik

  • Bibel, Wolfgang

Risultati 260-280 di 1074

Seguici su Twitter

I Nostri Social