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

Date

Authors

Publisher

Springer International Publishing

Related search

Scripting Discussions for Elaborative, Critical Interactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Windows Scripting Lernen

2016English

A Spreadsheet-Based Scripting Environment for SNMP

1997English

Python Scripting in the Nengo Simulator

Frontiers in Neuroinformatics
NeuroscienceComputer Science ApplicationsBiomedical Engineering
2009English

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

Fluctuation Electron Microscopy for the MASses

Microscopy and Microanalysis
Instrumentation
2005English

DVD-Video: Multimedia for the Masses

IEEE Multimedia
Media TechnologySignal ProcessingHardwareComputer Science ApplicationsArchitectureSoftware
1999English

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

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy