Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Guardado en:
| Otros Autores: | , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Berlin ; New York :
Springer-Verlag,
c1994.
|
| Series: | Lecture notes in computer science ;
827. Lecture notes in computer science. Lecture notes in artificial intelligence |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01123cam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic000299 | ||
| 008 | 940607s1994####gw#a#####b####001#0#eng## | ||
| 005 | 20151125131533.0 | ||
| 245 | 0 | 0 | |a Temporal logic : |b first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / |c Dov M. Gabbay, Hans J. Ohlbach (eds.). |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c c1994. | ||
| 300 | |a xi, 545 p. : |b il. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 827. Lecture notes in artificial intelligence | |
| 504 | |a Includes bibliiographical references e índice. | ||
| 020 | |a 354058241X (acid-free paper) | ||
| 700 | 1 | |a Gabbay, Dov M., |d 1945- |9 000172 | |
| 700 | 1 | |a Ohlbach, Hans Jürgen. |9 008103 | |
| 830 | 0 | |a Lecture notes in computer science ; |v 827. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence | |
| 082 | 0 | 0 | |a 511.3 |2 20 |
| 650 | 0 | |a Computer programming. |9 000053 | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |9 000177 | |
| 010 | |a 94003449 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.6 |b .T4414 1994 |
| 859 | |p 1380 |b BIB. COMPUTACION | ||