Results

eNauka >  Results >  Computational interpretations of logic
Title: Computational interpretations of logic
Authors: Gilezan, Silvia  
Issue Date: 2010
Publication: 5th International Workshop on Higher Order Rewriting - HOR 2010
Publisher: Edinburgh : University of Edinburgh
Type: Conference Paper
URI: https://enauka.gov.rs/handle/123456789/156723
http://researchrepository.mi.sanu.ac.rs/handle/123456789/4255
Metadata source: Migrirano iz RIS podataka
Availability note: На основу доступних података није могуће утврдити да ли резултат постоји
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.