Journal of Formalized Reasoning
ISSN/EISSN: 1972-5787
Publisher: CIB - University of Bologna
Subject: Computer Science --- Mathematics
Country: Italy Language: English
Start year 2008
Publication fee: No --- Further Information
Publisher: CIB - University of Bologna
Subject: Computer Science --- Mathematics
Country: Italy Language: English
Start year 2008
Publication fee: No --- Further Information
Abstract | Keywords | Issues | 
출처 : DOAJ(www.doaj.org)