ProofScript: Proof Scripting for the Masses

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-46750-4_19
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Scripting Discussions for Elaborative, Critical Interactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Python Scripting in the Nengo Simulator

Frontiers in Neuroinformatics
NeuroscienceComputer Science ApplicationsBiomedical Engineering
2009English

Windows Scripting Lernen

2016English

A Spreadsheet-Based Scripting Environment for SNMP

1997English

Remote Scripting for Microscope Control Applications on the Tecnai TEM

Microscopy and Microanalysis
Instrumentation
2002English

Fabrication of a Biomimetic Corrugated Polysilicon Diaphragm With Attached Single Crystal Silicon Proof Masses

2001English

Experience With SAND-Tcl: A Scripting Tool for Spatial Databases

Journal of Visual Languages and Computing
LinguisticsComputer Science ApplicationsHuman-Computer InteractionLanguage
2002English

DVD-Video: Multimedia for the Masses

IEEE Multimedia
Media TechnologySignal ProcessingHardwareComputer Science ApplicationsArchitectureSoftware
1999English

Fluctuation Electron Microscopy for the MASses

Microscopy and Microanalysis
Instrumentation
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy