Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
back to result list
1
Online Resource
Online Resource
17th international conference on applications of declarative programming and knowledge management (INAP 2007) and 21st workshop on (constraint) logic programming (WLP 2007) : Würzburg, Germany, October 4 - 6, 2007 ; proceedings (2007)
Würzburg
Details
Language: English
Pages: Online-Ressource (viii, 264 S.)
Edition: Online-Ausg.
Series Statement: Technical Report 434
DDC: 004
RVK:
SS 4800
Keywords: Artificial intelligence ; Computer science ; Konferenzschrift 2007 ; World Wide Web ; Wissensbasiertes System ; Deklarative Programmierung ; World Wide Web ; Wissensbasiertes System ; Logische Programmierung ; World Wide Web ; Wissensbasiertes System ; Constraint-Programmierung ; Wissensmanagement ; Entscheidungsunterstützungssystem ; Programmierung ; Data Mining ; Unterstützungssystem ; Programmierung
Note: Literaturangaben
URL: Volltext
Library Location Call Number Volume/Issue/Year Availability
BibTip Others were also interested in ...
Online Resource
Associated Volumes
  • 2
    Online Resource
    Online Resource
    LTL model checking with logic based petri nets (2007)
    In:  17th international conference on applications of declarative programming and knowledge management (INAP 2007) and 21st workshop on (constraint) logic programming (WLP 2007) (2007), Seite 173-182 | year:2007 | pages:173-182
    Details
    Language: English
    Pages: graph. Darst.
    Titel der Quelle: 17th international conference on applications of declarative programming and knowledge management (INAP 2007) and 21st workshop on (constraint) logic programming (WLP 2007)
    Publ. der Quelle: Würzburg, 2007
    Angaben zur Quelle: (2007), Seite 173-182
    Angaben zur Quelle: year:2007
    Angaben zur Quelle: pages:173-182
    URL: Volltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...