Deontic logic in computer science : normative system specification / edited by John-Jules Ch. Meyer and Roel J. Wieringa.
Contributor(s): Meyer, John-Jules Ch
| Wieringa, Roel | International Workshop on Deontic Logic in Computer Science (1st : 1991 : Amsterdam, Netherlands).
Material type: 
TextPublisher: Chichester ; New York : J. Wiley, c1993Description: xiv, 317 p. : ill. ; 25 cm.ISBN: 0471937436 :.Subject(s): Computer science -- Congresses | Deontic logic -- CongressesDDC classification: 004/.01/5113
| Item type | Current location | Home library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Libro impreso
|
Biblioteca de la Universidad de San Isidro "Dra. María Irma Marabotto" | Biblioteca de la Universidad de San Isidro "Dra. María Irma Marabotto" | 607 MEY 005131 (Browse shelf) | Available | 005131 |
Browsing Biblioteca de la Universidad de San Isidro "Dra. María Irma Marabotto" Shelves Close shelf browser
|
|
No cover image available |
|
No cover image available |
|
|
||
| 607 LEV 00827R Hacia la herramienta educativa universal? : | 607 LIT 00826R Tecnología educativa : | 607 MAL 00339R Psico-cibernética 2000 / | 607 MEY 005131 Deontic logic in computer science : | 607 MON 00858R Nuevas tecnologías de Comunicación | 607 MUN 00872R Laser fundamentals & applications / | 607 MYE 00417R El arte de probar el software |
"Revisions of selected papers that were presented at the First International Workshop on Deontic Logic in Computer Science ... held in Amsterdam on December 11-13, 1991"--Pref.