|
|
|
|
|
|
|
1. The Free On-line Dictionary of Computing (30 December 2018) |
Isabelle
Isabelle-92
Isabelle-93
A generic theorem prover with support for
several object-logics, developed by Lawrence C. Paulson
in collaboration with <Tobias
Nipkow> at the Technical
University of Munich.
A system of type classes allows polymorphic object-logics
with overloading and automatic type inference.
Isabelle supports first-order logic - constructive and
classical versions; higher-order logic, similar to Gordon's
HOL; Zermelo Fränkel set theory; an extensional version
of Martin Löf's type theory, the classical first-order
sequent calculus, LK; the modal logics T, S4, and
S43; and Logic for Computable Functions.
An object logic's syntax and inference rules are specified
declaratively allowing single-step proof construction.
Proof procedures can be expressed using "tactics" and
"tacticals". Isabelle provides control structures for
expressing search procedures and generic tools such as
simplifiers and classical theorem provers which can be applied
to object-logics. Isabelle is built on top of Standard ML
and uses its user interface.
<http://cl.cam.ac.uk/Research/HVG/Isabelle/>.
Mailing list: [email protected].
["tactics"? "tacticals"?]
(1999-07-26)
|
|
|
|
|
Common Misspellings > |
isabelle-93 sisabelle-93 siabelle-93 isiabelle-93 sabelle-93 iisabelle-93 iasbelle-93 isasbelle-93 iabelle-93 issabelle-93 isbaelle-93 isabaelle-93 isbelle-93 isaabelle-93 isaeblle-93 isabeblle-93 isaelle-93 isabbelle-93 isablele-93 isabelele-93 isablle-93 isabeelle-93 isabellle-93 isabele-93 isabellle-93 isabelel-93 isabellel-93 isabele-93 isabellle-93 isabell-e93 isabelle-e93 isabell-93 isabellee-93 isabelle9-3 isabelle-9-3 isabelle93 isabelle--93 isabelle-39 isabelle-939 isabelle-3 isabelle-993 isabelle-393 isabelle-9 isabelle-933 8sabelle-93 i8sabelle-93 8isabelle-93 *sabelle-93 i*sabelle-93 *isabelle-93 9sabelle-93 i9sabelle-93 9isabelle-93 usabelle-93 iusabelle-93 uisabelle-93 osabelle-93 iosabelle-93 oisabelle-93 jsabelle-93 ijsabelle-93 jisabelle-93 ksabelle-93 iksabelle-93 kisabelle-93 lsabelle-93 ilsabelle-93 lisabelle-93 asabelle-93 esabelle-93 iqabelle-93 isqabelle-93 iqsabelle-93 iwabelle-93 iswabelle-93 iwsabelle-93 ieabelle-93 iseabelle-93 iesabelle-93 iaabelle-93 isaabelle-93 iasabelle-93 idabelle-93 isdabelle-93 idsabelle-93 izabelle-93 iszabelle-93 izsabelle-93 ixabelle-93 isxabelle-93 ixsabelle-93 icabelle-93 iscabelle-93 icsabelle-93 i abelle-93 is abelle-93 i sabelle-93 isqbelle-93 isaqbelle-93 isqabelle-93 iswbelle-93 isawbelle-93 iswabelle-93 issbelle-93 isasbelle-93 issabelle-93 isxbelle-93 isaxbelle-93 isxabelle-93 iszbelle-93 isazbelle-93 iszabelle-93 is belle-93 isa belle-93 is abelle-93 isebelle-93 isibelle-93 isobelle-93 isubelle-93 isafelle-93 isabfelle-93 isafbelle-93 isagelle-93 isabgelle-93 isagbelle-93 isahelle-93 isabhelle-93 isahbelle-93 isavelle-93 isabvelle-93 isavbelle-93 isanelle-93 isabnelle-93 isanbelle-93 isa elle-93 isab elle-93 isa belle-93 isab3lle-93 isabe3lle-93 isab3elle-93 isab#lle-93 isabe#lle-93 isab#elle-93 isab4lle-93 isabe4lle-93 isab4elle-93 isabwlle-93 isabewlle-93 isabwelle-93 isabrlle-93 isaberlle-93 isabrelle-93 isabslle-93 isabeslle-93 isabselle-93 isabdlle-93 isabedlle-93 isabdelle-93 isabflle-93 isabeflle-93 isabfelle-93 isaballe-93 isabille-93 isabolle-93 isabulle-93 isabeiie-93 isabeliie-93 isabeiile-93 isabeooe-93 isabelooe-93 isabeoole-93 isabeppe-93 isabelppe-93 isabepple-93 isabekke-93 isabelkke-93 isabekkle-93 isabe,,e-93 isabel,,e-93 isabe,,le-93 isabe..e-93 isabel..e-93 isabe..le-93 isabell3-93 isabelle3-93 isabell3e-93 isabell#-93 isabelle#-93 isabell#e-93 isabell4-93 isabelle4-93 isabell4e-93 isabellw-93 isabellew-93 isabellwe-93 isabellr-93 isabeller-93 isabellre-93 isabells-93 isabelles-93 isabellse-93 isabelld-93 isabelled-93 isabellde-93 isabellf-93 isabellef-93 isabellfe-93 isabella-93 isabelli-93 isabello-93 isabellu-93 isabelle093 isabelle-093 isabelle0-93 isabellep93 isabelle-p93 isabellep-93 isabelle-(3 isabelle-9(3 isabelle-(93 isabelle-83 isabelle-983 isabelle-893 isabelle-03 isabelle-903 isabelle-093 isabelle-i3 isabelle-9i3 isabelle-i93 isabelle-o3 isabelle-9o3 isabelle-o93 isabelle-p3 isabelle-9p3 isabelle-p93 isabelle-9# isabelle-93# isabelle-9#3 isabelle-92 isabelle-932 isabelle-923 isabelle-94 isabelle-934 isabelle-943 isabelle-9w isabelle-93w isabelle-9w3 isabelle-9e isabelle-93e isabelle-9e3 isabelle-9r isabelle-93r isabelle-9r3 Definition commonly spelled as: Defanition or Defenition, Synonym as: Synonim, Sinonym or Sinonim, Thesaurus as: Thesorus or Thesauris, Dictionary as: Dictionery or Dictionry and Define is usually not misspelled. What does mispell meen? It Meens...
Full Map Index: Å Norway-Am Timan Chad |
Ama United States of America-Audon France |
Audouville-la-Hubert France-Baskil Turkey |
Baskin United States of America-Bindoy Philippines |
Bindoy Philippines-Breuilpont France |
Breukelen Netherlands-Campofelice di Fitalia Italy |
Campofelice di Roccella Italy-Champigny France |
Champigny-en-Beauce France-Colle San Magno Italy |
Colle Sannita Italy-Damulog Philippines |
Damurhuda Bangladesh-Duliāgaon India |
Duliajan No.1 India-Ethridge United States of America |
Étienville France-Frignano Italy |
Frignicourt France-Gouhenans France |
Gouillons France-Hasselbach Germany |
Hasselbach Germany-Hurlock United States of America |
Huron United States of America-Jovellanos Cuba |
Jovellar Philippines-Kirchzell Germany |
Kircubbin United Kingdom-La Gomera Guatemala |
La Gonfrière France-Le Hohwald France |
Le Hommet-dArthenay France-Loma de Gato Philippines |
Loma de Juárez Mexico-Mālpur India |
Mālpura India-Memphis United States of America |
Memphis United States of America-Montería Colombia |
Monteriggioni Italy-Navalilla Spain |
Navalmanzano Spain-Noyelles-lès-Seclin France |
Noyelles-lès-Vermelles France-Pachelma Russia |
Pachgaon India-Piégut-Pluviers France |
Piekary Śląskie Poland-Prilep Macedonia |
Přílepy Czech Republic-Reuil-en-Brie France |
Reuilly France-Şag Romania |
Şag Romania-Saint-Puy France |
Saint-Python France-Santa Rita Panama |
Santa Rita Venezuela-Sewarhi India |
Sewen France-Sparbu Norway |
Spardorf Germany-Tamparan Philippines |
Tampayan Philippines-Tottington United Kingdom |
Tottleben Germany-Valdivia Chile |
Valdivia Colombia-Villeneuve-le-Roi France |
Villeneuve-lès-Avignon France-White City United States of America |
White City Canada-Żywiec Poland |
|
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.
|
©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy |
|