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
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"
}
Nahoru