Examples with "Mathematica-style version" and their translation in Duits
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
The Axiomatic Proof Builder that is part of the Gateway to Logic now supports defining connectives (see also the Principia Mathematica-style version of the Axiomatic Proof Builder).
Der axiomatische Beweisbauer des Logikübergangs unterstützt nun auch Konnektivdefinitionen (siehe auch die Principia Mathematica-Version des axiomatischen Beweisbauers). 12. August 2006
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor Mathematica-style version in het Engels