přejít na obsah
Social processes and proofs of theorems and programs Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Social processes and proofs of theorems and programs

Autor Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
Vydavatel: [New Haven, Conn.] : Yale University, Dept. of Computer Science, 1978.
Edice: Research report (Yale University. Dept of Computer Science), 136.
Vydání/formát:   Kniha : English
Databáze:WorldCat
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Typ dokumentu: Book
Všichni autoři/tvůrci: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
OCLC číslo: 11301774
Popis: 34 pages ; 28 cm.
Název edice: Research report (Yale University. Dept of Computer Science), 136.
Odpovědnost: Richard A. DeMillio, Richard J. Lipton, and Alan J. Perlis.

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.

Podobné dokumenty

Související předmětová hesla:(1)

Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená data


<http://www.worldcat.org/oclc/11301774>
library:oclcnum"11301774"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/11301774>
rdf:typeschema:Book
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
<http://viaf.org/viaf/128296912>
rdf:typeschema:Organization
schema:name"Yale University. Department of Computer Science."
schema:creator
schema:datePublished"1978"
schema:exampleOfWork<http://worldcat.org/entity/work/id/3698337>
schema:inLanguage"en"
schema:name"Social processes and proofs of theorems and programs"@en
schema:publisher
schema:url

Content-negotiable representations

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.