Advanced Petri Nets and the Fluent Calculus (INFOCOM-6)
Aus International Center for Computational Logic
Advanced Petri Nets and the Fluent Calculus (INFOCOM-6)
Steffen HölldoblerSteffen Hölldobler
Steffen Hölldobler
Advanced Petri Nets and the Fluent Calculus (INFOCOM-6)
North-Caucasus Federal University, Stawropol, Russland, April 2014
Advanced Petri Nets and the Fluent Calculus (INFOCOM-6)
North-Caucasus Federal University, Stawropol, Russland, April 2014
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@misc{H2014,
author = {Steffen H{\"{o}}lldobler},
title = {Advanced Petri Nets and the Fluent Calculus (INFOCOM-6)},
year = {2014},
month = {April}
}