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 40-60 di 97

testo

Simulation programming languages

proceedings of the IFIP Working Conference on Simulation Programming Languages

testo

Clausal form logic

an introduction to the logic of computer reasoning

  • Richards, Tom
testo

Algebraic and logic programming [+]

second international conference : Nancy, France, October 1-3, 1990 : proceedings

testo

Rewriting techniques and applications

4. international conference, RTA-91 : Como, Italy, April 10-12, 1991 : proceedings

  • International conference on rewriting techniques and applications 4. Como 1991
testo

Computability and complexity

from a programming perspective

  • Jones, Neil D.
testo

Arithmetic of infinity

  • Sergeyev, Yaroslav D.
testo

Logical foundations of computer science

4. international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

testo

Computer science logic

10. international workshop, CSL'96, annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

  • European association for computer science logic
testo

Structures in logic and computer science

a selection of essays in honor of A. Ehrenfeucht

testo

Rewriting techniques and applications [+]

9. international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings

testo

Language in action

categories, lambdas and dynamic logic

  • Benthem, Johan: van

Risultati 40-60 di 97

Seguici su Twitter

I Nostri Social