Rezultati

eNauka >  Rezultati >  Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic
Naziv: Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic
Autori: J. Harland; T. Lutovac  ; M. Winikoff
Godina: 2000
Publikacija: LECTURE NOTES IN COMPUTER SCIENCE
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Tip rezultata: Naučni članak
Kolacija: 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
M-kategorija: 
21M21 - Rad u vrhunskom međ. časopisu

Pronađi DOI

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.