Beschrijving
Sequents and Link Graphs Contraction criteria for refinements of multiplicative linear logic
Specificaties
- Auteur
- Q. Puite
- Uitgever
- Universiteit Utrecht
- Jaar
- 2001
- Druk
- 1
- Aantal pagina's
- 248
- Taal
- Engels
- Doos
- H055-0004
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
De mechanisering van het wereldbeeld
I. Het erfgoed der oudheidII. De natuurwetenschap in de middeleeuwenIII. De voorbereiding van het ontstaan der klassieke natuurwetenschapIV. De geboorte der klassieke natuurwetenschapV. Slotbeschouwing
€9,00
0 biedingen
Vraagstukken over de Hoogere Algebra
I. Permutaties en CombinatiesII. DeterminantenIII. Stelsels vergelijkingen van den eersten graadIV. Complexe getallen en meetkundige toepassingenV. HoogeremachtsvergelijkingenVI. Splitsing van rationale breukenVII. Rekenkundige reeksen van hoogere ordeVIII. Reeksen en GrenswaardenIX. KettingbreukenX. Symmetrische functiesXI. EliminatieXII. Transcendente functies voor complexe waarden van de veranderlijke
€4,00
0 biedingen
De Uiterste Mogelijkheden van de Natuurwetenschap
Natuurkunde Scheikunde Astronomie
€2,00
0 biedingen