Resultados da busca - matemática simbólica

321

Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /

por McRobbie, M. A., Slaney, J. K., International Conference on Automated Deduction
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
322

Logic's lost genius : the life of Gerhard Gentzen /

por Menzler-Trott, Eckart.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
323

Frege's theorem /

por Heck, Richard G.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
324

An introduction to fuzzy logic and fuzzy sets /

por Buckley, James J., Eslami, Esfandiar
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
325

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /

por Ibarra, Oscar H., Ravikumar, Bala., SpringerLink (Online service)
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Digital

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
326

Raciocínio lógico para concursos : teoria e questões /

por Mariano, Fabrício.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
327

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998 : proceedings /

por Grundy, Jim, Newey, Malcolm., International Conference, TPHOLs '98
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
328

Tecnologia digital /

por Natale, Ferdinando
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
329

Raciocínio lógico e matemática : para os concursos de técnico, analista e perito do INSS e técnico e analista dos tribunais /

por Lanna, Valéria.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
330

Handbook of logic in computer science /

por Abramsky, Sansão, Gabbay, Dov M., Maibaum, Thomas S. E.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
331

Foundation of the formal sciences II : applications of mathematical logic in philosophy and linguistics, papers of a conference held in Bonn, November 10-13, 2000 /

por Löwe, Benedikt., Malzkom, Wolfgang., Räsch, Thoralf.
Assuntos: “...Lógica simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
332

The magic garden of George B. and other logic puzzles /

por Smullyan, Raymond M.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
333

Prática : proofs, types and categories /

por Hauesler, Edward Hermann., Pereira, Luiz Carlos.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
334

A first course in fuzzy logic /

por Nguyen, Hung T., Walker, Elbert A.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
335

Combinators, -terms and proof theory /

por Stenlund, Sören.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
336

Lesniewski's systems of logic and foundations of mathematics /

por Urbaniak, Rafal.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
337

Continuous lattices and domains /

por Gierz, Gerhard.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
338

Around and beyond the square of opposition /

por Beziau, Jean-Yves, Jacquette, Dale
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
339

Mathematical logic /

por Shoenfield, Joseph R.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
340

A concise introduction to languages and machines /

por Parkes, Alan
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
341

Raciocínio lógico para concursos /

por Mariano, Fabrício.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
342

Proof theory for fuzzy logics /

por Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
343

Philosophical logic and logical philosophy : essays in honour of Vladimir A. Smirnov /

por Smirnov, V. A., Bystrov, P. I., Sadovskiæi, V. N.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
344

Essays on non-classical logic /

por Wansing, H.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
345

Logic, language and computation /

por Seligman, Jerry.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
346

Beginning logic /

por Lemmon, E. J.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
347

Logics of formal inconsistency /

por Almeida, Marcos João de
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
348

The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives /

por Badesa, Calixto.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
349

Tarski's world : version 4.0 for macintosh /

por Barwise, Jon., Etchemendy, John
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
350

Set theory and the continuum hypothesis /

por Cohen, Paul J.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
351

Decision procedures : an algorithmic point of view /

por Kroening, Daniel., Strichman, Ofer.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
352

Memoirs of a proof theorist : Gödel and other logicians /

por Takeuti, Gaisi
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
353

Typed lambda calculi and applications /

por Bezem, M., Groote, J. F., International Conference on Typed Lambda Calculi and Applications TLCA'93 ;
Assuntos: “...Lógica simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
354

An introduction to Gödel's Theorems /

por Smith, Peter
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
355

A Concise Introduction to Languages and Machines

por Parkes, Alan P., SpringerLink (Online service)
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Digital

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
356

Aspects of incompleteness /

por Lindström, Per
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
357

Tractatus logico-philosophicus /

por Wittgenstein, Ludwig, Giannotti, Jose Arthur
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
358

Tractatus logico-philosophicus /

por Wittgenstein, Ludwig, Santos, Luiz Henrique Lopes dos.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
359

Tractatus logico-philosophicus /

por Wittgenstein, Ludwig, Santos, Luiz Henrique Lopes dos.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
360

Logic for applications /

por Nerode, Anil., Shore, Richard A.
Assuntos: “...Lógica simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:

[1]
Anterior
1
2
3
4
5
6
7
8
9
10
11
Seguinte
[11]