Menü schließen
Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens
Sardinienregion
Folge uns auf
Suchen Suche auf der Website

Suchergebnisse

Suchergebnisse

Ergebnisse: 1-16 von 16

Forschung bearbeiten

Aktive Filter:

Dewey -Klasse: 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 Ergebnisse

Schließen

Fächer

Indietro Avanti