Chiudi Menù
Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna
Regione Sardegna
Seguici su
Cerca Cerca nel sito

Risultati Ricerca

Risultati di Ricerca

Risultati: 1-16 di 16

Modifica la ricerca

Filtri attivi:

Classe Dewey: 005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)
Foundations of logic programming
Testo
Foundations of logic programming

Lloyd, John Wylie

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988
Testo
Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988

Centro internazionale matematico estivo

Numerical recipes : the art of scientific computing
Testo
Numerical recipes : the art of scientific computing
Logic programming and automated reasoning : international conference LPAR '92
Testo
Logic programming and automated reasoning : international conference LPAR '92

International conference on logic programming and automated reasoning <3. ; 1992

La descrizione operazionale dei linguaggi di programmazione : un'introduzione
Testo
La descrizione operazionale dei linguaggi di programmazione : un'introduzione

Laneve, Cosimo

Computer programming and formal systems
Testo
Computer programming and formal systems
Mathematical foundations of programming language semantics : 3. workshop, Tulane university, New Orleans, Louisiana, USA, April 8-10, 1987
Testo
Mathematical foundations of programming language semantics : 3. workshop, Tulane university, New Orleans, Louisiana, USA, April 8-10, 1987
CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987
Testo
CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987

Workshop on computer science logic <1. ; 1987

Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989
Testo
Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989

Symposium on Logical foundations of computer science <1989

Temporal logic in specification : Altrincham, UK, April 8-10, 1987
Testo
Temporal logic in specification : Altrincham, UK, April 8-10, 1987
CSL '88 : 2. Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988
Testo
CSL '88 : 2. Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988

Workshop on computer science logic <2. ; 1988

Logic programming '88 : proceedings of the 7. conference, Tokyo, Japan, April 11-14, 1988
Testo
Logic programming '88 : proceedings of the 7. conference, Tokyo, Japan, April 11-14, 1988
Programming languages implementation and logic programming : International workshop PLILP '88, Orleans, France, May 16-18, 1988
Testo
Programming languages implementation and logic programming : International workshop PLILP '88, Orleans, France, May 16-18, 1988

International workshop PLILP <1. ; 1988

Logic programming '87 : proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987
Testo
Logic programming '87 : proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987
Foundations of equational logic programming
Testo
Foundations of equational logic programming

Holldobler, Steffen

Programmation et langages symboliques
Testo
Programmation et langages symboliques

Krinickij, N. A.

1

Filtra Risultati

Chiudi

Argomenti

Indietro Avanti