skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục
Lọc theo: Nhan đề tạp chí: arXiv.org xóa Nhan đề tạp chí: Electronic Proceedings in Theoretical Computer Science xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis

Düdder, Boris ; Garbe, Oliver ; Martens, Moritz ; Rehof, Jakob ; Urzyczyn, Paweł; Urzyczyn, Paweł (pacrepositoryorg)

arXiv.org, Jul 31, 2013

DOI: 10.4204/EPTCS.121.2

Toàn văn sẵn có

Phiên bản sẵn có
2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

PROOFTOOL: a GUI for the GAPT Framework

Dunchev, Cvetan ; Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil ; Weller, Daniel; Weller, Daniel (pacrepositoryorg)

arXiv.org, Jul 8, 2013

DOI: 10.4204/EPTCS.118.1

Toàn văn sẵn có

Phiên bản sẵn có
3
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Building an IDE for the Calculational Derivation of Imperative Programs

Chaudhari, Dipak ; Damani, Om; Damani, Om (pacrepositoryorg)

arXiv.org, Aug 17, 2015

DOI: 10.4204/EPTCS.187.1

Toàn văn sẵn có

Phiên bản sẵn có
4
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Advanced Proof Viewing in ProofTool

Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil; Rukhaia, Mikheil (pacrepositoryorg)

arXiv.org, Oct 30, 2014

DOI: 10.4204/EPTCS.167.6

Toàn văn sẵn có

Phiên bản sẵn có
5
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo

Conchon, Sylvain ; Iguernlala, Mohamed ; Mebsout, Alain; Mebsout, Alain (pacrepositoryorg)

arXiv.org, Jan 25, 2017

DOI: 10.4204/EPTCS.239.1

Toàn văn sẵn có

Phiên bản sẵn có
6
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System

Windsteiger, Wolfgang; Windsteiger, Wolfgang (pacrepositoryorg)

arXiv.org, Jul 8, 2013

DOI: 10.4204/EPTCS.118.5

Toàn văn sẵn có

Phiên bản sẵn có
7
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving

Mitsch, Stefan ; Platzer, André; Platzer, André (pacrepositoryorg)

arXiv.org, Jan 30, 2017

DOI: 10.4204/EPTCS.240.5

Toàn văn sẵn có

Phiên bản sẵn có
8
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

SPEEDY: An Eclipse-based IDE for invariant inference

Cok, David ; Johnson, Scott; Johnson, Scott (pacrepositoryorg)

arXiv.org, Apr 26, 2014

DOI: 10.4204/EPTCS.149.5

Toàn văn sẵn có

Phiên bản sẵn có
9
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation

Mauro, Gioacchino ; Thimbleby, Harold ; Domenici, Andrea ; Bernardeschi, Cinzia; Bernardeschi, Cinzia (pacrepositoryorg)

arXiv.org, Jan 30, 2017

DOI: 10.4204/EPTCS.240.4

Toàn văn sẵn có

Phiên bản sẵn có
10
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Lightweight Interactive Proving inside an Automatic Program Verifier

Dailler, Sylvain ; Marché, Claude ; Moy, Yannick; Moy, Yannick (pacrepositoryorg)

arXiv.org, Nov 27, 2018

DOI: 10.4204/EPTCS.284.1

Toàn văn sẵn có

Phiên bản sẵn có

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Đang tìm Cơ sở dữ liệu bên ngoài...