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 60-80 di 750

testo

L'insegnamento della logica

  • ItaliaMinistero della pubblica istruzione
testo

Cours de logique mathematique

Tome 3, Recursivité et constructibilité

  • Fraissé, Roland
testo

Sets and logic

1

  • Bailey, C.A.R
testo

Simple theories

  • Wagner, Frank Olaf 1964-
testo

DNA based computers II

DIMACS workshop, June 10-12, 1996

testo

Per la storia della logica

i principii e l'ordine della scienza nel concetto dei pensatori matematici

  • Enriques, Federigo
testo

Automated resoning with analytic tableaux and related methods

international conference, TABLEAUX'99, Saratoga Springs, NY, USA, june 1999, proceedings

  • Murray, Neil V.
testo

Types for proofs and programs

International workshop TYPES '96 : Aussois, France, December 15-19, 1996 : Selected papers

testo

Rewriting techniques and applications

10th international conference, RTA-99 : Trento, Italy, july 1999 : Proceedings

testo

THE KLEENE SYMPOSIUM

Proceedings of the Symposium held June 18-24, 1978 at Madison Wisconsis, U.S.A.

  • Barwise, Jon
testo

Constraints in computational logics

theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, september 5-8, 1999 : Revised lectures

  • International summer school on constraint in computational logics Gif-sur-Yvette (France) 1999

Risultati 60-80 di 750

Seguici su Twitter

I Nostri Social