Logic programming : formal methods and practical applications /
Guardado en:
Otros Autores: | Beierle, Christoph, 1954-, Plümer, Lutz. |
---|---|
Formato: | Libro |
Idioma: | English |
Publicado: |
Amsterdam ; New York :
Elsevier,
1995.
|
Series: | Studies in computer science and artificial intelligence ;
11 |
Materias: | |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Understanding formal methods /
por: Monin, Jean François, 1960-
Publicado: (2003) -
Formal methods in computing /
Publicado: (2005) -
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
Publicado: (1993) -
Z : an introduction to formal methods /
por: Diller, Antoni.
Publicado: (1994) -
From logic to logic programming /
por: Doets, Kees.
Publicado: (1994)