Frontiers of Combining Systems : First International Workshop, Munich, March 1996 / edited by Frans Baader and Klaus U. Schulz
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Frontiers of Combining Systems : First International Workshop, Munich, March 1996 / edited by Frans Baader and Klaus U. Schulz
|
| Pubblicazione: | Dordrecht, : Springer, : Kluwer, 1996 |
| Descrizione fisica: | xi, 338 p. ; 24 cm |
| Soggetto topico: | 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| 03-XX - Mathematical logic and foundations [MSC 2020] | |
| 03Bxx - General logic [MSC 2020] | |
| Soggetto non controllato: | Algorithms |
| Artificial Intelligence | |
| Automated deduction | |
| Classifications | |
| Communications | |
| Complexity | |
| Computer Science | |
| Computer algebra | |
| Logic | |
| Modeling | |
| Multi-agent systems | |
| Programming | |
| Proving | |
| Semantics | |
| Persona (resp. second.): | Baader, Frans |
| Schulz, Klaus U. | |
| Titolo autorizzato: | Frontiers of Combining Systems |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN00296341 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | https://doi.org/10.1007/978-94-009-0349-4 |
| Opac: | Controlla la disponibilità qui |
Serie:
Applied Logic Series Dordrecht . -Kluwer , 1996 ; 3