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-12 of 278733

Edit research

Active filters:

Simili a: Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989
Category: Testo
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

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

Foundations of equational logic programming
Testo
Foundations of equational logic programming

Holldobler, Steffen

Temporal logic in specification : Altrincham, UK, April 8-10, 1987
Testo
Temporal logic in specification : Altrincham, UK, April 8-10, 1987
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
COLOG-88 : International conference on Computer logic, Tallinn, USSR, December 12-16, 1988
Testo
COLOG-88 : International conference on Computer logic, Tallinn, USSR, December 12-16, 1988

International conference on Computer logic <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
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

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

Computer science logic : 5. workshop, CSL '91
Testo
Computer science logic : 5. workshop, CSL '91

Workshop on computer science logic <5. ; 1991

Foundations of logic and functional programming : Workshop, Trento, Italy, December 15-19, 1986
Testo
Foundations of logic and functional programming : Workshop, Trento, Italy, December 15-19, 1986
STACS 89 : 6. Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989
Testo
STACS 89 : 6. Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989

Annual symposium on theoretical aspects of computer science <6. ; 1989

1 2 3

Filter results

Close

Subjects

Indietro Avanti