Detail publikace
Comparing CSP representation and First order logic
ŠČUGLÍK František. Comparing CSP representation and First order logic. In: Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Vysoké učení technické v Brně, 2002, s. 341-344. ISBN 80-214-2180-0.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
Rok
2002
Strany
341-344
Sborník
Proceedings of the 9th Electronic Devices and Systems Conference EDS'02
Konference
Proceedings of Electronic Devices and Systems, Brno, CZ
ISBN
80-214-2180-0
Vydavatel
Vysoké učení technické v Brně
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB6977, author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k", title = "Comparing CSP representation and First order logic", pages = "341--344", booktitle = "Proceedings of the 9th Electronic Devices and Systems Conference EDS'02", year = 2002, location = "Brno, CZ", publisher = "Brno University of Technology", ISBN = "80-214-2180-0", language = "english", url = "https://www.fit.vut.cz/research/publication/6977" }