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 160-180 di 1074

testo

Spatial reasoning

theory and practice

  • Aiello, Marco
testo

Process algebra and probabilistic methods

performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

  • International workshop on process algebra and probabilistic methods Aachen, Germany 2001
testo

Proof and refutations

the logic of mathematical discovery

  • Lakatos, Imre
testo

Theory and applications of cellular automata

(including selected papers, 1983-1986)

testo

Truth, syntax and modality

proceedings of the Temple University Conference on alternative semantics

  • Temple University Conference on Alternative Semantics
testo

Gödel's theorem

an incomplete guide to its use and abuse

  • Franzén, Torkel
testo

Abriss der Logistik

mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen

  • Carnap, Rudolf
testo

I risultati limitativi e il dibattito sul meccanicismo

tesi di laurea

  • Dispenza, Marco Bonaventura 1980-
testo

La logica della ricerca scientifica

relazione al X Congresso nazionale di filosofia

  • Pastore, Annibale
testo

Computabilità e ricorsività

problemi di logica matematica

  • Casari, Ettore
testo

Reductive logic and proof-search

proof theory, semantics, and control

  • Pym, David J.
testo

Satisfiability problem

theory and applications : DIMACS workshop, March 11-13, 1996

  • Workshop on satisfiability problem: theory and applications Piscataway, NJ, USA, 1996
testo

Processes, terms and cycles

steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Risultati 160-180 di 1074

Seguici su Twitter

I Nostri Social