Correctness of Inference Proofs

M. Filipovic; Vladimir Vukovic; A. Jovanovic

Correctness of Inference Proofs

M. Filipovic, Vladimir Vukovic, A. Jovanovic

SCEDT Engineering

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - 2004
Event	48th International Conference for Electronics, Telecommunications, Computers, Automatic Control and Nuclear Engineering - Cacak, Serbia Duration: 6 Jun 2004 → 10 Jun 2004

Conference

Conference	48th International Conference for Electronics, Telecommunications, Computers, Automatic Control and Nuclear Engineering
Abbreviated title	ETRAN
Country/Territory	Serbia
City	Cacak
Period	6/06/04 → 10/06/04

Cite this

@conference{c90044d1041a48ee9490bf21fd525aa8,

title = "Correctness of Inference Proofs",

author = "M. Filipovic and Vladimir Vukovic and A. Jovanovic",

year = "2004",

language = "English",

note = "48th International Conference for Electronics, Telecommunications, Computers, Automatic Control and Nuclear Engineering, ETRAN ; Conference date: 06-06-2004 Through 10-06-2004",

}