Резултати

еНаука >  Резултати >  Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic
Назив: Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic
Аутори: J. Harland; T. Lutovac  ; M. Winikoff
Година: 2000
Публикација: LECTURE NOTES IN COMPUTER SCIENCE
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Тип резултата: Научни чланак
Колација: vol. 1861 str. 254-268
URI: http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/2/4684
https://enauka.gov.rs/handle/123456789/735534
М-категорија: 
21M21 - Рад у врхунском међ. часопису

Пронађи DOI

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.