Correctness of Inference Proofs

M. Filipovic, Vladimir Vukovic, A. Jovanovic

Research output: Contribution to conferencePaper

Original languageEnglish
Publication statusPublished - 2004
Event48th International Conference for Electronics, Telecommunications, Computers, Automatic Control and Nuclear Engineering - Cacak, Serbia
Duration: 6 Jun 200410 Jun 2004

Conference

Conference48th International Conference for Electronics, Telecommunications, Computers, Automatic Control and Nuclear Engineering
Abbreviated titleETRAN
CountrySerbia
CityCacak
Period6/06/0410/06/04

Cite this

Filipovic, M., Vukovic, V., & Jovanovic, A. (2004). Correctness of Inference Proofs. Paper presented at 48th International Conference for Electronics, Telecommunications, Computers, Automatic Control and Nuclear Engineering, Cacak, Serbia.