Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

Computerunterstützter Beweis

Subject

Browse all works related to Computerunterstützter Beweis.

Home
Subject
Computerunterstützter Beweis

"7" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

First order logic and automated theorem proving

First order logic and automated theorem proving

by Fitting, Melvin

fromTexts and Monographs in Computer Science

0 Type: Book

A proof theory for general unification

A proof theory for general unification

by Snyder, Wayne

fromProgress in computer science and applied logic

0 Type: Book

Deduktionssysteme

Deduktionssysteme: Automatisierung des logischen Denkens

by Bläsius, Karl Hans, Bürckert, Hans-Jürgen

0 Type: Book

Deduktionssysteme

Deduktionssysteme: Automatisierung des logischen Denkens

0 Type: Book

Interactive theorem proving and program development

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions

by Bertot, Yves, Castéran, Pierre

fromTexts in theoretical computer science : an EATCS series

0 Type: Book

Mechanizing proof

Mechanizing proof: computing, risk, and trust

by Mackenzie, Donald A.

fromInside technology

0 Type: Book

A computational logic handbook

A computational logic handbook

by Boyer, Robert S., Moore, J. Strother

fromPerspectives in computing

0 Type: Book

Subjects

Computerunterstützter Beweis (7) Automatisches Beweisverfahren (5) Mathematische Logik (4) Automatic theorem proving (2) Automatisches Beweisverfahren… (2) Deduktion (2) Deduktionssystem (2) (VLB-FS)formal languages (1) (VLB-FS)mathematical logic (1) (VLB-FS)program verification (1) (VLB-FS)software engineering (1) (VLB-FS)theorem proving (1) (VLB-PF)BB: Gebunden (1) AUTOMATISCHE BEWEISFÜHRUNG (M… (1) COMPUTER PROGRAMMING (1) Computer (1) Computer -- Kontrolle (1) Computer -- Soziale Auswirkun… (1) Computer Systems (1) Computer systems -- Reliabili… (1) Computers and civilization (1) Déduction (Logique) (1) Entscheidbarkeit (1) Geschichte (1) Informatique (1) Logique mathématique (1) Logisches Denken (1) MATHEMATIKGESCHICHTE (1) MECHANISCHE RECHENMASCHINEN +… (1) MODALE LOGIK (MATHEMATISCHE L… (1) Ordinateurs et civilisation (1) Programmation informatique (1) Programmverifikation (1) Prädikatenlogik (1) Prädikatenlogik ; SWD-ID: 404… (1) Stufe 1 (1) Stufe 1 ; SWD-ID: 43625034 (1) Systèmes informatiques -- Fia… (1) TEMPORALLOGIK (MATHEMATISCHE … (1) Techniksoziologie (1) Théorèmes -- Démonstration au… (1) Unifikationstheorie (1) Wissenschaftssoziologie ; SWD… (1) Zuverlässigkeit (1) Zuverlässigkeit ; SWD-ID: 405… (1) artificial intelligence (1) démonstration de théorème (1)

Contributor

Bertot, Yves (1) Bläsius, Karl Hans (1) Boyer, Robert S. (1) Bürckert, Hans-Jürgen (1) Castéran, Pierre (1) Fitting, Melvin (1) Mackenzie, Donald A. (1) Moore, J. Strother (1) Snyder, Wayne (1)

Publisher

Springer (2) Acad. Press (1) Birkhäuser (1) MIT Press (1) Oldenbourg (1) R. Oldenbourg (1)

Year

2004 (1) 2001 (1) 1992 (2) 1991 (1) 1990 (1) 1988 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type