Showing
1 - 9
results of
9
for search '
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Suggested Topics:
Proof theory
Reset Filters
Show filters (1)
Suggested Topics:
Proof theory
Search Results
Showing
1 - 9
results of
9
for search '
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
100 Mathematical proof /
by
Garnier, Rowan
Published 1996
Call Number:
Loading…
Located:
Loading…
Book
Loading…
2
Arabic Logic from al-Fārābī to Averroes A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics /
by
Chatti, Saloua
,
Chatti, Saloua
Published 2019
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
An Introduction to the Language of Mathematics
by
Mynard, Frédéric
,
Mynard, Frédéric
Published 2018
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Proceedings of ACM conference on Proving assertions about programs
Published 1972
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
5
Proceedings of the 2015 Conference on Certified Programs and Proofs
Published 2015
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
Conference Proceeding
eBook
6
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Published 2014
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
Conference Proceeding
eBook
7
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
Published 2013
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
Conference Proceeding
eBook
8
Proof Technology in Mathematics Research and Teaching
Published 2019
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
9
Sets, Models and Proofs
by
Moerdijk, Ieke
,
Moerdijk, Ieke
,
van Oosten, Jaap
Published 2018
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Institution
HEAL-Link
8
UPatras
1
Format
Electronic
8
eBook
8
Conference Proceeding
3
Book
1
Call Number
500 - Natural sciences and mathematics
4
300 - Social sciences
1
Author
Association for Computing Machinery-Digital Library
4
SpringerLink (Online service)
4
ACM Special Interest Group on Programming Languages
3
ACM Special Interest Group on Algorithms & Computation Theory
2
Chatti, Saloua
1
Danielsson, Nils Anders
1
Garnier, Rowan
1
Hanna, Gila
1
ICFP'13: ACM SIGPLAN International Conference on Functional Programming Boston Massachusetts USA
1
Leroy, Xavier
1
Moerdijk, Ieke
1
Momigliano, Alberto
1
Mynard, Frédéric
1
POPL '14: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages San Diego California USA
1
POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Mumbai India
1
Reid, David A.
1
Taylor, John
1
de Villiers, Michael
1
van Oosten, Jaap
1
see all…
Language
English
9
Year of Publication
From:
To:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών