Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Search results

Search Results

Results: 1-16 of 16

Edit research

Active filters:

Dewey class: 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

Filter results

Close

Subjects

Indietro Avanti