Inductive Beluga: Programming Proofs

Bibliographic Details
Main Authors: Pientka, Brigitte, Cave, Andrew
Format: Book Part
Language:unknown
Published: Springer International Publishing 2015
Subjects:
Beluga
Beluga*
Online Access:http://dx.doi.org/10.1007/978-3-319-21401-6_18
https://link.springer.com/content/pdf/10.1007/978-3-319-21401-6_18
id crspringernat:10.1007/978-3-319-21401-6_18
record_format openpolar
spelling crspringernat:10.1007/978-3-319-21401-6_18 2024-03-10T08:33:51+00:00 Inductive Beluga: Programming Proofs Pientka, Brigitte Cave, Andrew 2015 http://dx.doi.org/10.1007/978-3-319-21401-6_18 https://link.springer.com/content/pdf/10.1007/978-3-319-21401-6_18 unknown Springer International Publishing https://www.springernature.com/gp/researchers/text-and-data-mining https://www.springernature.com/gp/researchers/text-and-data-mining Automated Deduction - CADE-25 Lecture Notes in Computer Science page 272-281 ISSN 0302-9743 1611-3349 ISBN 9783319214009 9783319214016 book-chapter 2015 crspringernat https://doi.org/10.1007/978-3-319-21401-6_18 2024-02-13T19:48:02Z Book Part Beluga Beluga* Springer Nature 272 281
institution Open Polar
collection Springer Nature
op_collection_id crspringernat
language unknown
format Book Part
author Pientka, Brigitte
Cave, Andrew
spellingShingle Pientka, Brigitte
Cave, Andrew
Inductive Beluga: Programming Proofs
author_facet Pientka, Brigitte
Cave, Andrew
author_sort Pientka, Brigitte
title Inductive Beluga: Programming Proofs
title_short Inductive Beluga: Programming Proofs
title_full Inductive Beluga: Programming Proofs
title_fullStr Inductive Beluga: Programming Proofs
title_full_unstemmed Inductive Beluga: Programming Proofs
title_sort inductive beluga: programming proofs
publisher Springer International Publishing
publishDate 2015
url http://dx.doi.org/10.1007/978-3-319-21401-6_18
https://link.springer.com/content/pdf/10.1007/978-3-319-21401-6_18
genre Beluga
Beluga*
genre_facet Beluga
Beluga*
op_source Automated Deduction - CADE-25
Lecture Notes in Computer Science
page 272-281
ISSN 0302-9743 1611-3349
ISBN 9783319214009 9783319214016
op_rights https://www.springernature.com/gp/researchers/text-and-data-mining
https://www.springernature.com/gp/researchers/text-and-data-mining
op_doi https://doi.org/10.1007/978-3-319-21401-6_18
container_start_page 272
op_container_end_page 281
_version_ 1793129939185172480

Similar Items