|  |
| |
| Artikel-Nr.:
858A-9783540516590 Herst.-Nr.:
9783540516590 EAN/GTIN:
9783540516590 |
| |
|
| | |
| This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields. Weitere Informationen: | | Author: | Egon Börger; Hans Kleine Büning; Michael M. Richter | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Artificial Intelligence; Komplexität; Künstliche Intelligenz; Verteilte Systeme; combinatorics; complexity; computer; intelligence; logic; programming, Komplexität, Künstliche Intelligenz, Verteilte Systeme, artificial intelligence, complexity, computer, intelligence |
| | |
| |