Follow us on

Search

Search Results

Results: 1-4 of 4

Edit research

Active filters:

BNI subject: Logica matematica - Applicazioni alla programmazione degli elaboratori elettronici

View

Sort by

Foundations of logic programming

Testo

Foundations of logic programming

Lloyd, John Wylie

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

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

Filter results

Main author
Names
- Börger, Egon
  (2)
- Kleine Buning, Hans
  (2)
- Richter, Michael M. <1938- >
  (2)
- Lloyd, John Wylie
  (1)
- Meyer, Albert R.
  (1)
- Symposium on Logical foundations of computer science <1989
  (1)
- Taitslin, Michael A.
  (1)
- Workshop on computer science logic <1. ; 1987
  (1)
- Workshop on computer science logic <2. ; 1988
  (1)
- Other Everyone
BNI subject