ATP and Presentation Service for Mizar Formalizations

Journal article

Open access

Peer reviewed

Josef Urban, Piotr Rudnicki and Geoff Sutcliffe

Journal of automated reasoning, Vol.50(2), pp.229-241

2013-02

Files and links (1)

url

https://doi.org/10.1007/s10817-012-9269-yView

Published (Version of record) Open

64 Record Views

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Collaboration types: Domestic collaboration; International collaboration
Citation topics: 4 Electrical Engineering, Electronics & Computer Science; 4.47 Software Engineering; 4.47.281 Abstract Interpretation
Web Of Science research areas: Computer Science, Artificial Intelligence
ESI research areas: Computer Science

This output has contributed to the advancement of the following goals:

Source: InCites

Title: ATP and Presentation Service for Mizar Formalizations
Creators: Josef Urban
Piotr Rudnicki
Geoff Sutcliffe
Publication Details: Journal of automated reasoning, Vol.50(2), pp.229-241
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031576919902976